test_name 	 eiffel-ieee-comparison
test_description Perform various test to verify that we have a proper comparison using Eiffel IEEE.

define TOTAL_ORDER "true"
copy_sub	Ace $TEST Ace
copy_raw	test.e $CLUSTER test.e
copy_raw	test_real_32.e $CLUSTER test_real_32.e
copy_raw	test_real_64.e $CLUSTER test_real_64.e

compile_melted
compile_result	ok

execute_work	NONE exec_output1
execute_result	ok
compare		exec_output1 output

compile_frozen
compile_result	ok

c_compile_work
c_compile_result ok

execute_work	NONE exec_output2
execute_result	ok
compare		exec_output2 output

compile_final
compile_result	ok

c_compile_final
c_compile_result	ok

execute_final 	NONE exec_output3
execute_result 	ok
compare		exec_output3 output

cleanup_compile
define TOTAL_ORDER "false"
copy_sub 	Ace_2 $TEST Ace

compile_frozen
compile_result	validity_warning NONE VD81

c_compile_work
c_compile_result	ok

execute_work	NONE exec_output4
execute_result ok
compare		exec_output4 ieee_output

compile_final
compile_result	ok

c_compile_final
c_compile_result	ok

execute_final 	NONE exec_output5
execute_result 	ok
compare		exec_output5 ieee_output

test_end