deferred class TEST_SETUP

feature -- Execution

	execute
		deferred
		end

	run is
		local
			worker_thread: WORKER_THREAD
			control: THREAD_CONTROL
		do
			create worker_thread.make (agent execute)
			worker_thread.launch
			create control
			control.join_all
		end

end