Revision 02d89bbb
Added by Hamza Bourbouh about 8 years ago
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
add automata folder to tests