test_name 	supplier-preconditions-not-checked-after-invariant
test_description tests the assertion monitoring for supplier preconditions which could be disabled if there is an invariant check that does not restore the supplier context.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw	a.e $CLUSTER a.e

compile_melted
compile_result 	ok

execute_work 	NONE 	exec_output_m
execute_result 	ok
compare		exec_output_m output

compile_frozen
compile_result 	ok

c_compile_work
c_compile_result ok

execute_work 	NONE 	exec_output_w
execute_result 	ok
compare		exec_output_w output

compile_final_keep
compile_result ok

c_compile_final
c_compile_result ok

execute_final	NONE exec_output_f
execute_result ok
compare		exec_output_f output

compile_final
compile_result ok

c_compile_final
c_compile_result ok


test_end