test_name validity-vsrp3-precondition
test_description A root creation procedure must be precondition-free.

copy_raw 	 a.e  $CLUSTER a.e
copy_raw 	 test.e  $CLUSTER test.e

define ROOT_PROC "inherited_no_precondition"
copy_sub 	 Ace $TEST Ace
compile_melted
compile_result	ok

define ROOT_PROC "inherited_true_precondition"
copy_sub 	 Ace $TEST Ace
compile_melted
compile_result	ok

define ROOT_PROC "inherited_false_precondition"
copy_sub 	 Ace $TEST Ace
compile_melted
compile_result	validity_error NONE VSRP(3)

define ROOT_PROC "inherited_some_precondition"
copy_sub 	 Ace $TEST Ace
resume_compile
compile_result	validity_error NONE VSRP(3)

define ROOT_PROC "no_no_precondition"
copy_sub 	 Ace $TEST Ace
resume_compile
compile_result	ok

define ROOT_PROC "no_true_precondition"
copy_sub 	 Ace $TEST Ace
compile_melted
compile_result	ok

define ROOT_PROC "no_false_precondition"
copy_sub 	 Ace $TEST Ace
compile_melted
compile_result	validity_error NONE VSRP(3)

define ROOT_PROC "no_some_precondition"
copy_sub 	 Ace $TEST Ace
resume_compile
compile_result	validity_error NONE VSRP(3)

define ROOT_PROC "true_no_precondition"
copy_sub 	 Ace $TEST Ace
resume_compile
compile_result	ok

define ROOT_PROC "true_true_precondition"
copy_sub 	 Ace $TEST Ace
compile_melted
compile_result	ok

define ROOT_PROC "true_false_precondition"
copy_sub 	 Ace $TEST Ace
compile_melted
compile_result	ok

define ROOT_PROC "true_some_precondition"
copy_sub 	 Ace $TEST Ace
compile_melted
compile_result	ok

define ROOT_PROC "false_no_precondition"
copy_sub 	 Ace $TEST Ace
compile_melted
compile_result	ok

define ROOT_PROC "false_true_precondition"
copy_sub 	 Ace $TEST Ace
compile_melted
compile_result	ok

define ROOT_PROC "false_false_precondition"
copy_sub 	 Ace $TEST Ace
compile_melted
compile_result	validity_error NONE VSRP(3)

define ROOT_PROC "false_some_precondition"
copy_sub 	 Ace $TEST Ace
resume_compile
compile_result	validity_error NONE VSRP(3)

test_end