Revision 02d89bbb
Added by Hamza Bourbouh about 8 years ago
| regression_tests/lustre_files/success/kind_fmcad08/memory1/CMakeLists.txt | ||
|---|---|---|
| 83 | 83 |
OPTS "-horn") |
| 84 | 84 |
|
| 85 | 85 |
set(LUS_OPTS_CUT ${LUSTRE_OPTS_POSTFIX_${L}})
|
| 86 |
add_test(NAME Kind_fmcad08_memory1_COMPIL_LUSTRE_${L}__${LUS_OPTS_CUT}
|
|
| 86 |
add_test(NAME kind_fmcad08_memory1_COMPIL_LUSTRE_${L}__${LUS_OPTS_CUT}
|
|
| 87 | 87 |
COMMAND ${LUSTRE_COMPILER} ${LUSTREC_ARGS_${L}__${LUS_OPTS_CUT}}
|
| 88 | 88 |
) |
| 89 | 89 |
|
| ... | ... | |
| 96 | 96 |
set(ZUSTRE_ARGS_TEMP "${ZUSTRE_ARGS_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}}" "> ${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}.xml")
|
| 97 | 97 |
JOIN("${ZUSTRE_ARGS_TEMP}" " " ZUSTRE_ARGS)
|
| 98 | 98 |
|
| 99 |
add_test(NAME Kind_fmcad08_memory1_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 99 |
add_test(NAME kind_fmcad08_memory1_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 100 | 100 |
COMMAND bash -c "${ZUSTRE_COMPILER} ${ZUSTRE_ARGS}"
|
| 101 | 101 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
|
| 102 | 102 |
) |
| 103 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_memory1_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 103 |
SET_TESTS_PROPERTIES ( kind_fmcad08_memory1_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 104 | 104 |
PROPERTIES FAIL_REGULAR_EXPRESSION "AssertionError;ERROR;Failed" |
| 105 |
DEPENDS Kind_fmcad08_memory1_COMPIL_LUSTRE_${L}__${LUS_OPTS_CUT})
|
|
| 105 |
DEPENDS kind_fmcad08_memory1_COMPIL_LUSTRE_${L}__${LUS_OPTS_CUT})
|
|
| 106 | 106 |
|
| 107 | 107 |
|
| 108 |
add_test(NAME Kind_fmcad08_memory1_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 108 |
add_test(NAME kind_fmcad08_memory1_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 109 | 109 |
COMMAND bash -c "tail -n +8 ${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}.xml > ${L}_tailed1.xml"
|
| 110 | 110 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
|
| 111 |
#DEPENDS Kind_fmcad08_memory1_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 111 |
#DEPENDS kind_fmcad08_memory1_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 112 | 112 |
) |
| 113 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_memory1_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 113 |
SET_TESTS_PROPERTIES ( kind_fmcad08_memory1_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 114 | 114 |
PROPERTIES REQUIRED_FILES ${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}.xml
|
| 115 |
DEPENDS Kind_fmcad08_memory1_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
|
|
| 115 |
DEPENDS kind_fmcad08_memory1_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
|
|
| 116 | 116 |
|
| 117 |
add_test(NAME Kind_fmcad08_memory1_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 117 |
add_test(NAME kind_fmcad08_memory1_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 118 | 118 |
COMMAND bash -c "tail -n +8 ${L}.xml > ${L}_tailed2.xml"
|
| 119 | 119 |
WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/${L}/
|
| 120 | 120 |
) |
| 121 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_memory1_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 121 |
SET_TESTS_PROPERTIES ( kind_fmcad08_memory1_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 122 | 122 |
PROPERTIES REQUIRED_FILES ${L}.xml
|
| 123 |
DEPENDS Kind_fmcad08_memory1_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
|
|
| 123 |
DEPENDS kind_fmcad08_memory1_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
|
|
| 124 | 124 |
|
| 125 | 125 |
|
| 126 |
add_test(NAME Kind_fmcad08_memory1_DIFF_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 126 |
add_test(NAME kind_fmcad08_memory1_DIFF_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 127 | 127 |
COMMAND ${CMAKE_COMMAND} -E compare_files ${L}_tailed1.xml ../${L}_tailed2.xml
|
| 128 | 128 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
|
| 129 | 129 |
) |
| 130 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_memory1_DIFF_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 130 |
SET_TESTS_PROPERTIES ( kind_fmcad08_memory1_DIFF_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 131 | 131 |
PROPERTIES REQUIRED_FILES ${L}_tailed1.xml
|
| 132 |
DEPENDS Kind_fmcad08_memory1_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
|
|
| 132 |
DEPENDS kind_fmcad08_memory1_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
|
|
| 133 | 133 |
|
| 134 | 134 |
|
| 135 | 135 |
if(EXISTS ${CMAKE_BINARY_DIR}/modules/XPathParser_lusi.class AND ${ZUSTRE_ANSWER_${L}} STREQUAL "CEX" AND EXISTS ${CMAKE_CURRENT_BINARY_DIR}/${L}/${L}.lusi)
|
| 136 | 136 |
#message("add tests for comaring Zustre and lustrec in memory")
|
| 137 |
add_test(NAME Kind_fmcad08_memory1_XPathParser_lusi_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 137 |
add_test(NAME kind_fmcad08_memory1_XPathParser_lusi_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 138 | 138 |
COMMAND ${JAVA_RUNTIME} -cp ${CMAKE_BINARY_DIR}/modules/ XPathParser_lusi ${ZUSTRE_NODE_OPT} ../${L}.lusi ${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}.xml
|
| 139 | 139 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
|
| 140 | 140 |
) |
| 141 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_memory1_XPathParser_lusi_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 141 |
SET_TESTS_PROPERTIES ( kind_fmcad08_memory1_XPathParser_lusi_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
| 142 | 142 |
PROPERTIES REQUIRED_FILES ${CMAKE_CURRENT_BINARY_DIR}/${L}/${L}.lusi
|
| 143 |
DEPENDS Kind_fmcad08_memory1_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT} )
|
|
| 143 |
DEPENDS kind_fmcad08_memory1_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT} )
|
|
| 144 | 144 |
|
| 145 | 145 |
set(LUSTRE_NODE_OPT "top") |
| 146 | 146 |
# First command generate C files from Lustre file |
| ... | ... | |
| 150 | 150 |
DIR ${ZUSTRE_OUTPUT_DIR})
|
| 151 | 151 |
|
| 152 | 152 |
set(LUS_OPTS_CUT ${LUSTRE_OPTS_POSTFIX_${L}})
|
| 153 |
add_test(NAME Kind_fmcad08_memory1_COMPIL_LUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 153 |
add_test(NAME kind_fmcad08_memory1_COMPIL_LUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 154 | 154 |
COMMAND ${LUSTRE_COMPILER} ${LUSTREC_ARGS_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}}
|
| 155 | 155 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
|
| 156 | 156 |
) |
| 157 | 157 |
|
| 158 | 158 |
#********************* make -f ${L}.makefile ***************************
|
| 159 |
add_test(NAME Kind_fmcad08_memory1_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 159 |
add_test(NAME kind_fmcad08_memory1_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 160 | 160 |
COMMAND make -f ${L}.makefile
|
| 161 | 161 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
|
| 162 | 162 |
) |
| 163 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_memory1_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 164 |
PROPERTIES DEPENDS Kind_fmcad08_memory1_COMPIL_LUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 163 |
SET_TESTS_PROPERTIES ( kind_fmcad08_memory1_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 164 |
PROPERTIES DEPENDS kind_fmcad08_memory1_COMPIL_LUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 165 | 165 |
REQUIRED_FILES ${L}.makefile
|
| 166 | 166 |
) |
| 167 | 167 |
|
| ... | ... | |
| 169 | 169 |
|
| 170 | 170 |
if (BASH) |
| 171 | 171 |
add_test( |
| 172 |
NAME Kind_fmcad08_memory1_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 172 |
NAME kind_fmcad08_memory1_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 173 | 173 |
COMMAND ${BASH} -c "./${L}_${LUSTRE_NODE_OPT} < input_values > ${L}_${LUSTRE_NODE_OPT}_outputs"
|
| 174 | 174 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
|
| 175 | 175 |
) |
| 176 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_memory1_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 176 |
SET_TESTS_PROPERTIES ( kind_fmcad08_memory1_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 177 | 177 |
PROPERTIES REQUIRED_FILES ${L}_${LUSTRE_NODE_OPT}
|
| 178 |
DEPENDS Kind_fmcad08_memory1_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT})
|
|
| 178 |
DEPENDS kind_fmcad08_memory1_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT})
|
|
| 179 | 179 |
else() |
| 180 | 180 |
message(FATAL_ERROR "Unknown shell command for ${CMAKE_HOST_SYSTEM_NAME}")
|
| 181 | 181 |
endif() |
| 182 | 182 |
|
| 183 | 183 |
#************** execute C binary ********************************** |
| 184 |
add_test(NAME Kind_fmcad08_memory1_COMPARE_OUTPUTS_OF_LUSTREC_ZUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 184 |
add_test(NAME kind_fmcad08_memory1_COMPARE_OUTPUTS_OF_LUSTREC_ZUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 185 | 185 |
COMMAND ${CMAKE_COMMAND} -E compare_files ${L}_${LUSTRE_NODE_OPT}_outputs ZUSTRE_output_values
|
| 186 | 186 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
|
| 187 | 187 |
) |
| 188 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_memory1_COMPARE_OUTPUTS_OF_LUSTREC_ZUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 188 |
SET_TESTS_PROPERTIES ( kind_fmcad08_memory1_COMPARE_OUTPUTS_OF_LUSTREC_ZUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
| 189 | 189 |
PROPERTIES REQUIRED_FILES ${L}_${LUSTRE_NODE_OPT}_outputs
|
| 190 |
DEPENDS Kind_fmcad08_memory1_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT} )
|
|
| 190 |
DEPENDS kind_fmcad08_memory1_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT} )
|
|
| 191 | 191 |
|
| 192 | 192 |
|
| 193 | 193 |
|
| 194 | 194 |
endif() |
| 195 | 195 |
|
| 196 | 196 |
ENDFOREACH() |
| 197 |
add_custom_target(Kind_fmcad08_memory1 COMMAND ${CMAKE_CTEST_COMMAND} -R Kind_fmcad08_memory1)
|
|
| 197 |
add_custom_target(kind_fmcad08_memory1 COMMAND ${CMAKE_CTEST_COMMAND} -R kind_fmcad08_memory1)
|
|
| 198 | 198 |
|
Also available in: Unified diff
add automata folder to tests