test_name	 scoop-separate-expanded
test_description Freezing a SCOOP system with a separate entity whose type is expanded crashes an assertion-enabled compiler with violation of precondition `compatible_type'

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

compile_frozen
compile_result ok
c_compile_work
c_compile_result	ok

test_end