note
	description: "Summary description for {TEST_REGISTRATION2}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class interface
	TEST_REGISTRATION2

create 
	make

feature -- common setup

	c1: COURSE

	c2: COURSE

	c3: COURSE

	c4: COURSE

	c5: COURSE

	s1: STUDENT

	s2: STUDENT

	s3: STUDENT

	reg: REGISTRATION

	setup
			-- Will be executed at the beginning of "run" in a test case.
	
feature -- tests

	t0: BOOLEAN

	t1: BOOLEAN

	t2

	t3
	
end -- class TEST_REGISTRATION2

Generated by ISE EiffelStudio