note description: "[ Testing suite for the RATIONAL Class testing preconditions. ]" author: "JSO, CD" date: "June 13 2019" revision: "1.00" class interface RATIONAL_VIOLATION_TEST create make feature -- violation cases for creation preconditions t1 t100 t101 t102 t103 t104 t105 t106 t107 t108 t109 t110 -- make_from_ints t111 t112 end -- class RATIONAL_VIOLATION_TEST
Generated by ISE EiffelStudio