Revision c34a50ff
Added by Pierre-Loïc Garoche about 6 years ago
| regression_tests/modules/strategies.cmake | ||
|---|---|---|
| 478 | 478 |
|
| 479 | 479 |
function(LustreT_MCDC) |
| 480 | 480 |
set(options "") |
| 481 |
set(oneValueArgs NODE LUS_FILE CALL_ID SRC_DIR DST_DIR) |
|
| 481 |
set(oneValueArgs NODE LUS_FILE CALL_ID TESTS_PREFIX SRC_DIR DST_DIR)
|
|
| 482 | 482 |
set(multiValueArgs OPTS ) |
| 483 | 483 |
cmake_parse_arguments(GEN "${options}" "${oneValueArgs}" "${multiValueArgs}" ${ARGN})
|
| 484 | 484 |
|
| ... | ... | |
| 496 | 496 |
|
| 497 | 497 |
file(MAKE_DIRECTORY "${GEN_DST_DIR}/${L}/node_${GEN_NODE}_MCDC")
|
| 498 | 498 |
|
| 499 |
add_test(NAME LUSTRET_MCDC_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 499 |
add_test(NAME ${GEN_TESTS_PREFIX}_LUSTRET_MCDC_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 500 | 500 |
COMMAND ${LUSTRE_T} -mcdc-cond ${LUSTREC_ARGS_${L}_${GEN_NODE}_${LUS_OPTS_CUT}}
|
| 501 | 501 |
WORKING_DIRECTORY ${LUSTRE_OUTPUT_DIR_${L}_${GEN_NODE}_${LUS_OPTS_CUT}}
|
| 502 | 502 |
) |
| ... | ... | |
| 510 | 510 |
) |
| 511 | 511 |
|
| 512 | 512 |
|
| 513 |
add_test(NAME LUSTRET_MCDC_COMPILE_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 513 |
add_test(NAME ${GEN_TESTS_PREFIX}_LUSTRET_MCDC_COMPILE_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 514 | 514 |
COMMAND ${LUSTRE_COMPILER} ${LUSTREC_ARGS_${L}.mcdc_${GEN_NODE}_${LUS_OPTS_CUT}}
|
| 515 | 515 |
WORKING_DIRECTORY ${LUSTRE_OUTPUT_DIR_${L}_mcdc_${GEN_NODE}_${LUS_OPTS_CUT}}
|
| 516 | 516 |
) |
| 517 | 517 |
|
| 518 |
SET_TESTS_PROPERTIES ( LUSTRET_MCDC_COMPILE_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 518 |
SET_TESTS_PROPERTIES ( ${GEN_TESTS_PREFIX}_LUSTRET_MCDC_COMPILE_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 519 | 519 |
PROPERTIES |
| 520 |
DEPENDS LUSTRET_MCDC_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID})
|
|
| 520 |
DEPENDS ${GEN_TESTS_PREFIX}_LUSTRET_MCDC_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID})
|
|
| 521 | 521 |
|
| 522 | 522 |
endfunction() |
| 523 | 523 |
|
| ... | ... | |
| 526 | 526 |
|
| 527 | 527 |
function(LustreT_mutants) |
| 528 | 528 |
set(options "") |
| 529 |
set(oneValueArgs NODE LUS_FILE CALL_ID SRC_DIR DST_DIR) |
|
| 529 |
set(oneValueArgs NODE LUS_FILE CALL_ID TESTS_PREFIX SRC_DIR DST_DIR)
|
|
| 530 | 530 |
set(multiValueArgs OPTS ) |
| 531 | 531 |
cmake_parse_arguments(GEN "${options}" "${oneValueArgs}" "${multiValueArgs}" ${ARGN})
|
| 532 | 532 |
|
| ... | ... | |
| 544 | 544 |
|
| 545 | 545 |
file(MAKE_DIRECTORY "${GEN_DST_DIR}/${L}/node_${GEN_NODE}_Mutants")
|
| 546 | 546 |
|
| 547 |
add_test(NAME LUSTRET_MUTATION_GEN_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 547 |
add_test(NAME ${GEN_TESTS_PREFIX}_LUSTRET_MUTATION_GEN_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 548 | 548 |
COMMAND ${LUSTRE_T} ${LUSTREC_ARGS_${L}_${GEN_NODE}_${LUS_OPTS_CUT}}
|
| 549 | 549 |
WORKING_DIRECTORY ${LUSTRE_OUTPUT_DIR_${L}_${GEN_NODE}_${LUS_OPTS_CUT}}
|
| 550 | 550 |
) |
| 551 | 551 |
|
| 552 |
add_test(NAME LUSTRET_MUTATION_BUILDMAKE_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 552 |
add_test(NAME ${GEN_TESTS_PREFIX}_LUSTRET_MUTATION_BUILDMAKE_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 553 | 553 |
COMMAND "cmake" "." |
| 554 | 554 |
WORKING_DIRECTORY ${GEN_DST_DIR}/${L}/node_${GEN_NODE}_Mutants
|
| 555 | 555 |
) |
| 556 | 556 |
|
| 557 |
add_test(NAME LUSTRET_MUTATION_BUILDBIN_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 557 |
add_test(NAME ${GEN_TESTS_PREFIX}_LUSTRET_MUTATION_BUILDBIN_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 558 | 558 |
COMMAND "make" |
| 559 | 559 |
WORKING_DIRECTORY ${GEN_DST_DIR}/${L}/node_${GEN_NODE}_Mutants
|
| 560 | 560 |
) |
| 561 | 561 |
|
| 562 |
SET_TESTS_PROPERTIES ( LUSTRET_MUTATION_BUILDMAKE_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 562 |
SET_TESTS_PROPERTIES ( ${GEN_TESTS_PREFIX}_LUSTRET_MUTATION_BUILDMAKE_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 563 | 563 |
PROPERTIES |
| 564 |
DEPENDS LUSTRET_MUTATION_GEN_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID} )
|
|
| 564 |
DEPENDS ${GEN_TESTS_PREFIX}_LUSTRET_MUTATION_GEN_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID} )
|
|
| 565 | 565 |
|
| 566 |
SET_TESTS_PROPERTIES ( LUSTRET_MUTATION_BUILDBIN_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 566 |
SET_TESTS_PROPERTIES ( ${GEN_TESTS_PREFIX}_LUSTRET_MUTATION_BUILDBIN_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID}
|
|
| 567 | 567 |
PROPERTIES |
| 568 |
DEPENDS LUSTRET_MUTATION_BUILDMAKE_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID} )
|
|
| 568 |
DEPENDS ${GEN_TESTS_PREFIX}_LUSTRET_MUTATION_BUILDMAKE_${L}_${GEN_NODE}_${LUS_OPTS_CUT}_${GEN_CALL_ID} )
|
|
| 569 | 569 |
|
| 570 | 570 |
endfunction() |
| 571 | 571 |
|
Also available in: Unified diff
Better naming