test_name 	 instance_free-call-derivation
test_description Actual generic parameters should be taken into account when performing calls to instance-free features in generic derivations.

copy_sub 	 Ace $TEST Ace
copy_raw 	 a.e $CLUSTER a.e
copy_raw 	 b.e $CLUSTER b.e
copy_raw 	 c.e $CLUSTER c.e
copy_raw 	 x.e $CLUSTER x.e
copy_raw 	 y.e $CLUSTER y.e
copy_raw 	 test.e $CLUSTER test.e

compile_melted
compile_result   validity_error A VUNO:9

--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
--compile_result 	 ok
--c_compile_final
--c_compile_result ok
--execute_work 	 NONE 	exec_output_f
--execute_result 	 ok
--compare		 exec_output_f output

test_end