Revision 02d89bbb
Added by Hamza Bourbouh about 8 years ago
regression_tests/lustre_files/success/kind_fmcad08/large/CEX/CMakeLists.txt | ||
---|---|---|
77 | 77 |
OPTS "-horn") |
78 | 78 |
|
79 | 79 |
set(LUS_OPTS_CUT ${LUSTRE_OPTS_POSTFIX_${L}}) |
80 |
add_test(NAME Kind_fmcad08_large_CEX_COMPIL_LUSTRE_${L}__${LUS_OPTS_CUT}
|
|
80 |
add_test(NAME kind_fmcad08_large_CEX_COMPIL_LUSTRE_${L}__${LUS_OPTS_CUT}
|
|
81 | 81 |
COMMAND ${LUSTRE_COMPILER} ${LUSTREC_ARGS_${L}__${LUS_OPTS_CUT}} |
82 | 82 |
) |
83 | 83 |
|
... | ... | |
90 | 90 |
set(ZUSTRE_ARGS_TEMP "${ZUSTRE_ARGS_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}}" "> ${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}.xml") |
91 | 91 |
JOIN("${ZUSTRE_ARGS_TEMP}" " " ZUSTRE_ARGS) |
92 | 92 |
|
93 |
add_test(NAME Kind_fmcad08_large_CEX_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
93 |
add_test(NAME kind_fmcad08_large_CEX_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
94 | 94 |
COMMAND bash -c "${ZUSTRE_COMPILER} ${ZUSTRE_ARGS}" |
95 | 95 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR} |
96 | 96 |
) |
97 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_large_CEX_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
97 |
SET_TESTS_PROPERTIES ( kind_fmcad08_large_CEX_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
98 | 98 |
PROPERTIES FAIL_REGULAR_EXPRESSION "AssertionError;ERROR;Failed" |
99 |
DEPENDS Kind_fmcad08_large_CEX_COMPIL_LUSTRE_${L}__${LUS_OPTS_CUT})
|
|
99 |
DEPENDS kind_fmcad08_large_CEX_COMPIL_LUSTRE_${L}__${LUS_OPTS_CUT})
|
|
100 | 100 |
|
101 | 101 |
|
102 |
add_test(NAME Kind_fmcad08_large_CEX_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
102 |
add_test(NAME kind_fmcad08_large_CEX_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
103 | 103 |
COMMAND bash -c "tail -n +8 ${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}.xml > ${L}_tailed1.xml" |
104 | 104 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR} |
105 |
#DEPENDS Kind_fmcad08_large_CEX_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
105 |
#DEPENDS kind_fmcad08_large_CEX_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
106 | 106 |
) |
107 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_large_CEX_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
107 |
SET_TESTS_PROPERTIES ( kind_fmcad08_large_CEX_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
108 | 108 |
PROPERTIES REQUIRED_FILES ${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}.xml |
109 |
DEPENDS Kind_fmcad08_large_CEX_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
|
|
109 |
DEPENDS kind_fmcad08_large_CEX_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
|
|
110 | 110 |
|
111 |
add_test(NAME Kind_fmcad08_large_CEX_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
111 |
add_test(NAME kind_fmcad08_large_CEX_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
112 | 112 |
COMMAND bash -c "tail -n +8 ${L}.xml > ${L}_tailed2.xml" |
113 | 113 |
WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/${L}/ |
114 | 114 |
) |
115 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_large_CEX_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
115 |
SET_TESTS_PROPERTIES ( kind_fmcad08_large_CEX_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
116 | 116 |
PROPERTIES REQUIRED_FILES ${L}.xml |
117 |
DEPENDS Kind_fmcad08_large_CEX_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
|
|
117 |
DEPENDS kind_fmcad08_large_CEX_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
|
|
118 | 118 |
|
119 | 119 |
|
120 |
add_test(NAME Kind_fmcad08_large_CEX_DIFF_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
120 |
add_test(NAME kind_fmcad08_large_CEX_DIFF_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
121 | 121 |
COMMAND ${CMAKE_COMMAND} -E compare_files ${L}_tailed1.xml ../${L}_tailed2.xml |
122 | 122 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR} |
123 | 123 |
) |
124 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_large_CEX_DIFF_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
124 |
SET_TESTS_PROPERTIES ( kind_fmcad08_large_CEX_DIFF_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
125 | 125 |
PROPERTIES REQUIRED_FILES ${L}_tailed1.xml |
126 |
DEPENDS Kind_fmcad08_large_CEX_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
|
|
126 |
DEPENDS kind_fmcad08_large_CEX_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
|
|
127 | 127 |
|
128 | 128 |
|
129 | 129 |
if(EXISTS ${CMAKE_BINARY_DIR}/modules/XPathParser_lusi.class) |
130 | 130 |
#message("add tests for comaring Zustre and lustrec in large/src/CEX") |
131 |
add_test(NAME Kind_fmcad08_large_CEX_XPathParser_lusi_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
131 |
add_test(NAME kind_fmcad08_large_CEX_XPathParser_lusi_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
132 | 132 |
COMMAND ${JAVA_RUNTIME} -cp ${CMAKE_BINARY_DIR}/modules/ XPathParser_lusi ${ZUSTRE_NODE_OPT} ../${L}.lusi ${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}.xml |
133 | 133 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR} |
134 | 134 |
) |
135 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_large_CEX_XPathParser_lusi_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
135 |
SET_TESTS_PROPERTIES ( kind_fmcad08_large_CEX_XPathParser_lusi_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
|
|
136 | 136 |
PROPERTIES REQUIRED_FILES ${CMAKE_CURRENT_BINARY_DIR}/${L}/${L}.lusi |
137 |
DEPENDS Kind_fmcad08_large_CEX_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT} )
|
|
137 |
DEPENDS kind_fmcad08_large_CEX_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT} )
|
|
138 | 138 |
|
139 | 139 |
set(LUSTRE_NODE_OPT "top") |
140 | 140 |
# First command generate C files from Lustre file |
... | ... | |
144 | 144 |
DIR ${ZUSTRE_OUTPUT_DIR}) |
145 | 145 |
|
146 | 146 |
set(LUS_OPTS_CUT ${LUSTRE_OPTS_POSTFIX_${L}}) |
147 |
add_test(NAME Kind_fmcad08_large_CEX_COMPIL_LUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
147 |
add_test(NAME kind_fmcad08_large_CEX_COMPIL_LUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
148 | 148 |
COMMAND ${LUSTRE_COMPILER} ${LUSTREC_ARGS_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}} |
149 | 149 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR} |
150 | 150 |
) |
151 | 151 |
|
152 | 152 |
#********************* make -f ${L}.makefile *************************** |
153 |
add_test(NAME Kind_fmcad08_large_CEX_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
153 |
add_test(NAME kind_fmcad08_large_CEX_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
154 | 154 |
COMMAND make -f ${L}.makefile |
155 | 155 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR} |
156 | 156 |
) |
157 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_large_CEX_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
158 |
PROPERTIES DEPENDS Kind_fmcad08_large_CEX_COMPIL_LUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
157 |
SET_TESTS_PROPERTIES ( kind_fmcad08_large_CEX_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
158 |
PROPERTIES DEPENDS kind_fmcad08_large_CEX_COMPIL_LUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
159 | 159 |
REQUIRED_FILES ${L}.makefile |
160 | 160 |
) |
161 | 161 |
|
... | ... | |
163 | 163 |
|
164 | 164 |
if (BASH) |
165 | 165 |
add_test( |
166 |
NAME Kind_fmcad08_large_CEX_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
166 |
NAME kind_fmcad08_large_CEX_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
167 | 167 |
COMMAND ${BASH} -c "./${L}_${LUSTRE_NODE_OPT} < input_values > ${L}_${LUSTRE_NODE_OPT}_outputs" |
168 | 168 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR} |
169 | 169 |
) |
170 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_large_CEX_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
170 |
SET_TESTS_PROPERTIES ( kind_fmcad08_large_CEX_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
171 | 171 |
PROPERTIES REQUIRED_FILES ${L}_${LUSTRE_NODE_OPT} |
172 |
DEPENDS Kind_fmcad08_large_CEX_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT})
|
|
172 |
DEPENDS kind_fmcad08_large_CEX_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT})
|
|
173 | 173 |
else() |
174 | 174 |
message(FATAL_ERROR "Unknown shell command for ${CMAKE_HOST_SYSTEM_NAME}") |
175 | 175 |
endif() |
176 | 176 |
|
177 | 177 |
#************** execute C binary ********************************** |
178 |
add_test(NAME Kind_fmcad08_large_CEX_COMPARE_OUTPUTS_OF_LUSTREC_ZUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
178 |
add_test(NAME kind_fmcad08_large_CEX_COMPARE_OUTPUTS_OF_LUSTREC_ZUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
179 | 179 |
COMMAND ${CMAKE_COMMAND} -E compare_files ${L}_${LUSTRE_NODE_OPT}_outputs ZUSTRE_output_values |
180 | 180 |
WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR} |
181 | 181 |
) |
182 |
SET_TESTS_PROPERTIES ( Kind_fmcad08_large_CEX_COMPARE_OUTPUTS_OF_LUSTREC_ZUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
182 |
SET_TESTS_PROPERTIES ( kind_fmcad08_large_CEX_COMPARE_OUTPUTS_OF_LUSTREC_ZUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
|
|
183 | 183 |
PROPERTIES REQUIRED_FILES ${L}_${LUSTRE_NODE_OPT}_outputs |
184 |
DEPENDS Kind_fmcad08_large_CEX_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT} )
|
|
184 |
DEPENDS kind_fmcad08_large_CEX_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT} )
|
|
185 | 185 |
|
186 | 186 |
|
187 | 187 |
|
188 | 188 |
endif() |
189 | 189 |
|
190 | 190 |
ENDFOREACH() |
191 |
add_custom_target(Kind_fmcad08_large_CEX COMMAND ${CMAKE_CTEST_COMMAND} -R Kind_fmcad08_large_CEX)
|
|
191 |
add_custom_target(kind_fmcad08_large_CEX COMMAND ${CMAKE_CTEST_COMMAND} -R kind_fmcad08_large_CEX)
|
|
192 | 192 |
|
Also available in: Unified diff
add automata folder to tests