note
	description: "[
		A series of test cases for the functions included in the BIG_INTEGER class.
		This includes is_less, is_greater, is_equal, is_string_int, divisible,
		exponentiable, is_natural, is_natural1, and is_integer."
	]"
	author: "JSO & CD"
	date: "June 6 2019"
	revision: "1.00"

class interface
	INT_PREDICATE_TEST

create 
	make

feature -- Tests

	t1: BOOLEAN
			-- is_less test

	t2: BOOLEAN
			-- is_greater test

	t3: BOOLEAN
			-- is_equal test

	t4: BOOLEAN
			-- is_string_int test

	t5: BOOLEAN
			-- divisible test

	t6: BOOLEAN
			-- is_natural test

	t7: BOOLEAN
			-- is_natural1 test

	t8: BOOLEAN
			-- is_integer
	
end -- class INT_PREDICATE_TEST

Generated by ISE EiffelStudio