class TEST

create

	make

feature {NONE} -- Creation

	make is
			-- Execute test.
		local
			memory: MEMORY
		do
			create memory
			memory.collect
			memory.full_collect
		end

feature {NONE} -- Output

	report_test_result (test_number: INTEGER; succeeded: BOOLEAN) is
			-- Report whether a test number `test_number'
			-- is `succeeded' or not.
		do
		end

end