test_name time-bug-reports
test_description Collection of test based on various bug report received about EiffelTime.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
compile_frozen
compile_result ok

c_compile_work
c_compile_result ok

execute_work NONE exec_output1
execute_result ok

compare exec_output1 output

test_end