--| Copyright (c) 1993-2006 University of Southern California and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

-- This is a test control file

test_name 	 inlining-size-non-integer
test_description An Ace which includes the option `inlining_size ("47_weasels")' should provoke a VD15 error, but the compiler accepts it.

define		 INLINING_SIZE "47_weasels"
copy_sub 	 Ace $TEST Ace
copy_raw	 test.e $CLUSTER test.e
compile_melted
compile_result 	 validity_error NONE VD15

define		 INLINING_SIZE "47.39"
copy_sub 	 Ace $TEST Ace
resume_compile
compile_result 	 validity_error NONE VD15

define		 INLINING_SIZE "_47"
copy_sub 	 Ace $TEST Ace
resume_compile
compile_result 	 validity_error NONE VD15

define		 INLINING_SIZE "47"
copy_sub 	 Ace $TEST Ace
resume_compile
compile_result 	 ok

test_end