note
	description: "[
		Testing suite for the BIG_INTEGER Class testing preconditions.
	]"
	author: "JSO, CD"
	date: "June 13 2019"
	revision: "1.00"

class interface
	INT_VIOLATION_TEST

create 
	make

feature -- Precondition testing

	t1

	t2
			-- is_integer Precondition Violation

	t3

	t4

	t5

	t6
	
feature -- violation cases for creation preconditions

	t100

	t101

	t102

	t103

	t104

	t105

	t106

	t107

	t108

	t109
	
end -- class INT_VIOLATION_TEST

Generated by ISE EiffelStudio