deferred class TEST_SETUP

feature -- Execution

	run is
		do
			execute
		end

feature {NONE} -- Thread execution

	execute is
		deferred
		end

end