Project

General

Profile

« Previous | Next » 

Revision 02d89bbb

Added by Hamza Bourbouh about 8 years ago

add automata folder to tests

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/BROKEN/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_BROKEN_COMPIL_LUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
34
	add_test(NAME kind_fmcad08_large_BROKEN_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_BROKEN_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
44
	add_test(NAME kind_fmcad08_large_BROKEN_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_BROKEN_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
48
	SET_TESTS_PROPERTIES (  kind_fmcad08_large_BROKEN_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
49 49
			PROPERTIES FAIL_REGULAR_EXPRESSION "AssertionError;ERROR;Failed"
50
					DEPENDS Kind_fmcad08_large_BROKEN_COMPIL_LUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
50
					DEPENDS kind_fmcad08_large_BROKEN_COMPIL_LUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
51 51
				
52 52

  
53 53
ENDFOREACH()
54 54

  
55 55

  
56
add_custom_target(kind_fmcad08_large_BROKEN COMMAND ${CMAKE_CTEST_COMMAND} -R kind_fmcad08_large_BROKEN)
57

  

Also available in: Unified diff