test_name out-on-nan-violates-invariant test_description Calling out on a REAL_64 that is NaN violates the class invariant sign_times_abs copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.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 test_end