Project

General

Profile

Revision 02d89bbb regression_tests/lustre_files/success/kind_fmcad08/large/SAFE/CMakeLists.txt

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/SAFE/CMakeLists.txt
31 31
					OPTS "-horn")
32 32
					
33 33
	set(LUS_OPTS_CUT ${LUSTRE_OPTS_POSTFIX_${L}})
34
	add_test(NAME Kind_fmcad08_large_SAFE_COMPIL_LUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
34
	add_test(NAME kind_fmcad08_large_SAFE_COMPIL_LUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
35 35
			COMMAND  ${LUSTRE_COMPILER} ${LUSTREC_ARGS_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}} 
36 36
	)
37 37

  
......
41 41
	set(ZUS_OPTS_CUT ${ZUSTRE_OPTS_POSTFIX_${L}})
42 42
	
43 43
	
44
	add_test(NAME Kind_fmcad08_large_SAFE_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
44
	add_test(NAME kind_fmcad08_large_SAFE_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
45 45
			COMMAND  ${ZUSTRE_COMPILER} ${ZUSTRE_ARGS_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}} 
46 46
			WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}}
47 47
	)
48
	SET_TESTS_PROPERTIES (  Kind_fmcad08_large_SAFE_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
48
	SET_TESTS_PROPERTIES (  kind_fmcad08_large_SAFE_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
49 49
			PROPERTIES PASS_REGULAR_EXPRESSION "<Answer>SAFE</Answer>"
50
					DEPENDS Kind_fmcad08_large_SAFE_COMPIL_LUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
50
					DEPENDS kind_fmcad08_large_SAFE_COMPIL_LUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
51 51
				
52 52

  
53 53
ENDFOREACH()
54 54

  
55
add_custom_target(Kind_fmcad08_large_SAFE COMMAND ${CMAKE_CTEST_COMMAND} -R Kind_fmcad08_large_SAFE)
55
add_custom_target(kind_fmcad08_large_SAFE COMMAND ${CMAKE_CTEST_COMMAND} -R kind_fmcad08_large_SAFE)
56 56

  

Also available in: Unified diff