note
	description: "Objects that represent boolean test cases (pass/fail)."
	author: "Software Engineering Lab, York University"

class interface
	ES_BOOLEAN_TEST_CASE

create 
	make

feature -- Basic operations

	run
			-- Run case test.

	is_violation_case: BOOLEAN
			-- Is this a violation test case of a boolean test case?
	
end -- class ES_BOOLEAN_TEST_CASE

Generated by ISE EiffelStudio