Project

General

Profile

Revision 02d89bbb regression_tests/lustre_files/success/kind_fmcad08/memory1/CMakeLists.txt

View differences:

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