test_name	config-library-options-setting
test_description Some library options cannot be overridden and should be reported as errors/warnings.

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

compile_melted
compile_result	validity_warning NONE VD80 VD80

test_end