Revision a603f261
Added by Pierre-Loïc Garoche over 5 years ago
| regression_tests/CMakeLists.txt | ||
|---|---|---|
| 7 | 7 |
set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/modules)
|
| 8 | 8 |
include(./modules/Lustre_compile.cmake) |
| 9 | 9 |
include(./modules/Zustre_compile.cmake) |
| 10 |
include(./modules/helpfull_functions.cmake)
|
|
| 10 |
include(/home/ploc/Local/share/helpful_functions.cmake)
|
|
| 11 | 11 |
include(./modules/strategies.cmake) |
| 12 | 12 |
|
| 13 | 13 |
if(LUSTRE_COMPILER) |
| regression_tests/lustre_files/success/CMakeLists.txt | ||
|---|---|---|
| 11 | 11 |
add_subdirectory(mpfr) |
| 12 | 12 |
add_subdirectory(lusic) |
| 13 | 13 |
#add_subdirectory(safety) |
| 14 |
add_subdirectory(machine_types) |
|
| regression_tests/lustre_files/success/Simulink/CMakeLists.txt | ||
|---|---|---|
| 55 | 55 |
SRC_DIR ${SRC_DIR}
|
| 56 | 56 |
DST_DIR ${DST_DIR}
|
| 57 | 57 |
) |
| 58 |
|
|
| 58 |
|
|
| 59 |
LustreT_MCDC( |
|
| 60 |
LUS_FILE ${lus_file}
|
|
| 61 |
NODE ${NODE_NAME}
|
|
| 62 |
OPTS ${LUSTRE_OPTIONS_OPT}
|
|
| 63 |
CALL_ID "4" |
|
| 64 |
SRC_DIR ${SRC_DIR}
|
|
| 65 |
DST_DIR ${DST_DIR}
|
|
| 66 |
) |
|
| 67 |
|
|
| 68 |
LustreT_Mutants( |
|
| 69 |
LUS_FILE ${lus_file}
|
|
| 70 |
NODE ${NODE_NAME}
|
|
| 71 |
OPTS ${LUSTRE_OPTIONS_OPT}
|
|
| 72 |
CALL_ID "5" |
|
| 73 |
SRC_DIR ${SRC_DIR}
|
|
| 74 |
DST_DIR ${DST_DIR}
|
|
| 75 |
) |
|
| 76 |
|
|
| 59 | 77 |
|
| 60 | 78 |
ENDFOREACH() |
| 61 | 79 |
ENDFOREACH() |
| regression_tests/lustre_files/success/Stateflow/CMakeLists.txt | ||
|---|---|---|
| 34 | 34 |
SRC_DIR ${SRC_DIR}
|
| 35 | 35 |
DST_DIR ${DST_DIR}
|
| 36 | 36 |
) |
| 37 |
|
|
| 37 |
|
|
| 38 |
Lustre_compile_options( |
|
| 39 |
LUS_FILE ${lus_file}
|
|
| 40 |
NODE ${NODE_NAME}
|
|
| 41 |
TESTS_PREFIX "${TESTS_PREFIX}"
|
|
| 42 |
OPTS ${LUSTRE_OPTIONS_OPT} "-emf"
|
|
| 43 |
CALL_ID "2" |
|
| 44 |
SRC_DIR ${SRC_DIR}
|
|
| 45 |
DST_DIR ${DST_DIR}
|
|
| 46 |
) |
|
| 47 |
|
|
| 48 |
|
|
| 49 |
LustreT_MCDC( |
|
| 50 |
LUS_FILE ${lus_file}
|
|
| 51 |
NODE ${NODE_NAME}
|
|
| 52 |
OPTS ${LUSTRE_OPTIONS_OPT}
|
|
| 53 |
CALL_ID "3" |
|
| 54 |
SRC_DIR ${SRC_DIR}
|
|
| 55 |
DST_DIR ${DST_DIR}
|
|
| 56 |
) |
|
| 57 |
|
|
| 58 |
LustreT_Mutants( |
|
| 59 |
LUS_FILE ${lus_file}
|
|
| 60 |
NODE ${NODE_NAME}
|
|
| 61 |
OPTS ${LUSTRE_OPTIONS_OPT}
|
|
| 62 |
CALL_ID "4" |
|
| 63 |
SRC_DIR ${SRC_DIR}
|
|
| 64 |
DST_DIR ${DST_DIR}
|
|
| 65 |
) |
|
| 66 |
|
|
| 38 | 67 |
ENDFOREACH() |
| 39 | 68 |
ENDFOREACH() |
| 40 | 69 |
|
| regression_tests/lustre_files/success/clocks/CMakeLists.txt | ||
|---|---|---|
| 33 | 33 |
DST_DIR ${DST_DIR}
|
| 34 | 34 |
) |
| 35 | 35 |
|
| 36 |
LustreT_MCDC( |
|
| 37 |
LUS_FILE ${lus_file}
|
|
| 38 |
NODE ${NODE_NAME}
|
|
| 39 |
OPTS ${LUSTRE_OPTIONS_OPT}
|
|
| 40 |
CALL_ID "5" |
|
| 41 |
SRC_DIR ${SRC_DIR}
|
|
| 42 |
DST_DIR ${DST_DIR}
|
|
| 43 |
) |
|
| 44 |
|
|
| 45 |
LustreT_Mutants( |
|
| 46 |
LUS_FILE ${lus_file}
|
|
| 47 |
NODE ${NODE_NAME}
|
|
| 48 |
OPTS ${LUSTRE_OPTIONS_OPT}
|
|
| 49 |
CALL_ID "5" |
|
| 50 |
SRC_DIR ${SRC_DIR}
|
|
| 51 |
DST_DIR ${DST_DIR}
|
|
| 52 |
) |
|
| 53 |
|
|
| 36 | 54 |
ENDFOREACH() |
| 37 | 55 |
|
| 38 | 56 |
|
| regression_tests/lustre_files/success/kind_fmcad08/CMakeLists.txt | ||
|---|---|---|
| 57 | 57 |
) |
| 58 | 58 |
endif() |
| 59 | 59 |
endif() |
| 60 |
|
|
| 60 | 61 |
Lustre_compile_and_compare_to_reference( |
| 61 |
LUS_FILE ${lus_file}
|
|
| 62 |
NODE ${NODE_NAME}
|
|
| 63 |
TESTS_PREFIX ${TESTS_PREFIX}
|
|
| 64 |
OPTS ${LUSTRE_OPTIONS_OPT}
|
|
| 65 |
CALL_ID "3"
|
|
| 66 |
SRC_DIR ${SRC_DIR}
|
|
| 67 |
DST_DIR ${DST_DIR}
|
|
| 62 |
LUS_FILE ${lus_file}
|
|
| 63 |
NODE ${NODE_NAME}
|
|
| 64 |
TESTS_PREFIX ${TESTS_PREFIX}
|
|
| 65 |
OPTS ${LUSTRE_OPTIONS_OPT}
|
|
| 66 |
CALL_ID "3" |
|
| 67 |
SRC_DIR ${SRC_DIR}
|
|
| 68 |
DST_DIR ${DST_DIR}
|
|
| 68 | 69 |
) |
| 70 |
|
|
| 71 |
Lustre_compile_options( |
|
| 72 |
LUS_FILE ${lus_file}
|
|
| 73 |
NODE ${NODE_NAME}
|
|
| 74 |
TESTS_PREFIX "${TESTS_PREFIX}"
|
|
| 75 |
OPTS ${LUSTRE_OPTIONS_OPT} "-emf"
|
|
| 76 |
CALL_ID "4" |
|
| 77 |
SRC_DIR ${SRC_DIR}
|
|
| 78 |
DST_DIR ${DST_DIR}
|
|
| 79 |
) |
|
| 80 |
|
|
| 81 |
LustreT_MCDC( |
|
| 82 |
LUS_FILE ${lus_file}
|
|
| 83 |
NODE ${NODE_NAME}
|
|
| 84 |
OPTS ${LUSTRE_OPTIONS_OPT}
|
|
| 85 |
CALL_ID "5" |
|
| 86 |
SRC_DIR ${SRC_DIR}
|
|
| 87 |
DST_DIR ${DST_DIR}
|
|
| 88 |
) |
|
| 89 |
|
|
| 90 |
LustreT_Mutants( |
|
| 91 |
LUS_FILE ${lus_file}
|
|
| 92 |
NODE ${NODE_NAME}
|
|
| 93 |
OPTS ${LUSTRE_OPTIONS_OPT}
|
|
| 94 |
CALL_ID "5" |
|
| 95 |
SRC_DIR ${SRC_DIR}
|
|
| 96 |
DST_DIR ${DST_DIR}
|
|
| 97 |
) |
|
| 98 |
|
|
| 69 | 99 |
|
| 70 | 100 |
ENDFOREACH() |
| 71 | 101 |
add_custom_target(${TESTS_PREFIX} COMMAND ${CMAKE_CTEST_COMMAND} -R ${TESTS_PREFIX})
|
Also available in: Unified diff
More tests