test_name 	roundtrip-equivalence
test_description Tests for a bunch of eiffel classes to ensure that `is_equivalent' works properly.

copy_sub	Ace $TEST Ace
copy_raw	parser_test.e $CLUSTER parser_test.e
copy_raw	standalone_eiffel_parser.e $CLUSTER standalone_eiffel_parser.e
copy_raw	test.e $CLUSTER test.e
copy_raw	test1.e $CLUSTER test1.e
copy_raw	test_multi_constraint.e $CLUSTER test_multi_constraint.e
copy_raw	test_bracket.e $CLUSTER test_bracket.e
copy_raw	test_conditional.e $CLUSTER test_conditional.e
copy_raw	test_loop.e $CLUSTER test_loop.e
copy_raw	test_separate_instruction.e $CLUSTER test_separate_instruction.e
copy_raw	test_tilde.e $CLUSTER test_tilde.e
copy_raw	test_agent.e $CLUSTER test_agent.e
copy_raw	es_testing_tool.e $CLUSTER es_testing_tool.e
copy_raw	characters.e $CLUSTER characters.e
copy_raw	test_utf8.e $CLUSTER test_utf8.e
copy_raw	test_external.e $CLUSTER test_external.e
copy_raw	test_invariant.e $CLUSTER test_invariant.e

compile_final_keep
compile_result ok

c_compile_final
c_compile_result ok

if UNIX execute_final 	NONE exec_output1 $ISE_LIBRARY/library/base $CLUSTER
if not UNIX execute_final 	NONE exec_output1 %ISE_LIBRARY%\library\base $CLUSTER
execute_result ok
compare	exec_output1 output

test_end