Project

General

Profile

Revision b7026160 regression_tests/lustre_files/success/kind_fmcad08/large/CEX/CMakeLists.txt

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/CEX/CMakeLists.txt
77 77
					OPTS "-horn")
78 78
					
79 79
	set(LUS_OPTS_CUT ${LUSTRE_OPTS_POSTFIX_${L}})
80
	add_test(NAME Kind_fmcad08_large_CEX_COMPIL_LUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
81
			COMMAND  ${LUSTRE_COMPILER} ${LUSTREC_ARGS_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}} 
80
	add_test(NAME Kind_fmcad08_large_CEX_COMPIL_LUSTRE_${L}__${LUS_OPTS_CUT}
81
			COMMAND  ${LUSTRE_COMPILER} ${LUSTREC_ARGS_${L}__${LUS_OPTS_CUT}} 
82 82
	)
83 83

  
84 84
	Zustre_Compile(LUS_FILE ${lus_file}
......
96 96
	)
97 97
	SET_TESTS_PROPERTIES (  Kind_fmcad08_large_CEX_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
98 98
			PROPERTIES FAIL_REGULAR_EXPRESSION "AssertionError;ERROR;Failed"
99
					DEPENDS Kind_fmcad08_large_CEX_COMPIL_LUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
99
					DEPENDS Kind_fmcad08_large_CEX_COMPIL_LUSTRE_${L}__${LUS_OPTS_CUT})
100 100
			
101 101
			
102 102
	add_test(NAME Kind_fmcad08_large_CEX_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}

Also available in: Unified diff