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

class interface
	TEST_REGISTRATION1

create 
	make

feature -- tests

	Registrations: STRING_8 = "[
		{ s1 -> EECS3311:MON, 16:00 -- 17:30, 
		  s2 -> EECS3342:TUE, 11:30 -- 13:00, 
		  s3 -> EECS3101:FRI, 19:00 -- 22:00, 
		  s3 -> EECS2011:FRI, 13:00 -- 14:30 }
	]"

	pair (s: STUDENT; c: COURSE): PAIR [STUDENT, COURSE]

	t1: BOOLEAN

	t4: BOOLEAN

	t5
	
end -- class TEST_REGISTRATION1

Generated by ISE EiffelStudio