note
	description: "Summary description for {TEST_FUN}."
	author: "Jackie Wang"
	date: "$Date$"
	revision: "$Revision$"

class interface
	TEST_FUN

create 
	make

feature -- tests

	t1: BOOLEAN

	t2

	t3: BOOLEAN

	t4: BOOLEAN

	t5: BOOLEAN

	t6: BOOLEAN

	t7: BOOLEAN

	t8: BOOLEAN

	t9: BOOLEAN

	t10: BOOLEAN
	
end -- class TEST_FUN

Generated by ISE EiffelStudio