Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/kind_fmcad08/protocol/CMakeLists.txt
84 84
					OPTS "-horn")
85 85
					
86 86
	set(LUS_OPTS_CUT ${LUSTRE_OPTS_POSTFIX_${L}})
87
	add_test(NAME Kind_fmcad08_protocol_COMPIL_LUSTRE_${L}__${LUS_OPTS_CUT}
87
	add_test(NAME kind_fmcad08_protocol_COMPIL_LUSTRE_${L}__${LUS_OPTS_CUT}
88 88
			COMMAND  ${LUSTRE_COMPILER} ${LUSTREC_ARGS_${L}__${LUS_OPTS_CUT}} 
89 89
	)
90 90

  
......
97 97
	set(ZUSTRE_ARGS_TEMP "${ZUSTRE_ARGS_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}}" "> ${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}.xml")
98 98
    JOIN("${ZUSTRE_ARGS_TEMP}" " " ZUSTRE_ARGS)
99 99
    
100
	add_test(NAME Kind_fmcad08_protocol_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
100
	add_test(NAME kind_fmcad08_protocol_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
101 101
			COMMAND bash -c "${ZUSTRE_COMPILER} ${ZUSTRE_ARGS}"
102 102
			WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
103 103
	)
104
	SET_TESTS_PROPERTIES (  Kind_fmcad08_protocol_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
104
	SET_TESTS_PROPERTIES (  kind_fmcad08_protocol_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
105 105
			PROPERTIES FAIL_REGULAR_EXPRESSION "AssertionError;ERROR;Failed"
106
					DEPENDS Kind_fmcad08_protocol_COMPIL_LUSTRE_${L}__${LUS_OPTS_CUT})
106
					DEPENDS kind_fmcad08_protocol_COMPIL_LUSTRE_${L}__${LUS_OPTS_CUT})
107 107
			
108 108
			
109
	add_test(NAME Kind_fmcad08_protocol_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
109
	add_test(NAME kind_fmcad08_protocol_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
110 110
			COMMAND bash -c "tail -n +8 ${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}.xml > ${L}_tailed1.xml"
111 111
			WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
112
			#DEPENDS Kind_fmcad08_protocol_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
112
			#DEPENDS kind_fmcad08_protocol_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
113 113
	)
114
	SET_TESTS_PROPERTIES ( Kind_fmcad08_protocol_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
114
	SET_TESTS_PROPERTIES ( kind_fmcad08_protocol_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
115 115
	 PROPERTIES REQUIRED_FILES  ${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}.xml
116
				DEPENDS Kind_fmcad08_protocol_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
116
				DEPENDS kind_fmcad08_protocol_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
117 117
	
118
	add_test(NAME Kind_fmcad08_protocol_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
118
	add_test(NAME kind_fmcad08_protocol_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
119 119
			COMMAND bash -c "tail -n +8 ${L}.xml > ${L}_tailed2.xml"
120 120
			WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/${L}/
121 121
	)
122
	SET_TESTS_PROPERTIES ( Kind_fmcad08_protocol_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
122
	SET_TESTS_PROPERTIES ( kind_fmcad08_protocol_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
123 123
	 PROPERTIES REQUIRED_FILES  ${L}.xml
124
				DEPENDS Kind_fmcad08_protocol_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
124
				DEPENDS kind_fmcad08_protocol_TAIL1_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})
125 125
				
126 126
				
127
	add_test(NAME Kind_fmcad08_protocol_DIFF_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
127
	add_test(NAME kind_fmcad08_protocol_DIFF_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
128 128
			COMMAND ${CMAKE_COMMAND} -E compare_files  ${L}_tailed1.xml  ../${L}_tailed2.xml
129 129
			WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
130 130
	)
131
	SET_TESTS_PROPERTIES ( Kind_fmcad08_protocol_DIFF_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
131
	SET_TESTS_PROPERTIES ( kind_fmcad08_protocol_DIFF_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
132 132
	 PROPERTIES REQUIRED_FILES  ${L}_tailed1.xml
133
				DEPENDS Kind_fmcad08_protocol_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})	
133
				DEPENDS kind_fmcad08_protocol_TAIL2_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})	
134 134

  
135 135
	
136 136
	if(EXISTS ${CMAKE_BINARY_DIR}/modules/XPathParser_lusi.class AND ${ZUSTRE_ANSWER_${L}} STREQUAL "CEX" AND EXISTS ${CMAKE_CURRENT_BINARY_DIR}/${L}/${L}.lusi)
137 137
	    #message("add tests for comaring Zustre and lustrec in memory")
138
		add_test(NAME Kind_fmcad08_protocol_XPathParser_lusi_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
138
		add_test(NAME kind_fmcad08_protocol_XPathParser_lusi_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
139 139
			COMMAND ${JAVA_RUNTIME} -cp ${CMAKE_BINARY_DIR}/modules/ XPathParser_lusi ${ZUSTRE_NODE_OPT} ../${L}.lusi ${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}.xml
140 140
			WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
141 141
		)
142
		SET_TESTS_PROPERTIES ( Kind_fmcad08_protocol_XPathParser_lusi_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
142
		SET_TESTS_PROPERTIES ( kind_fmcad08_protocol_XPathParser_lusi_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}
143 143
		 PROPERTIES REQUIRED_FILES  ${CMAKE_CURRENT_BINARY_DIR}/${L}/${L}.lusi 
144
					DEPENDS Kind_fmcad08_protocol_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT} )	
144
					DEPENDS kind_fmcad08_protocol_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT} )	
145 145
		
146 146
		set(LUSTRE_NODE_OPT "top")
147 147
		# First command generate C files from Lustre file
......
151 151
						DIR ${ZUSTRE_OUTPUT_DIR})
152 152
						
153 153
		set(LUS_OPTS_CUT ${LUSTRE_OPTS_POSTFIX_${L}})
154
		add_test(NAME Kind_fmcad08_protocol_COMPIL_LUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
154
		add_test(NAME kind_fmcad08_protocol_COMPIL_LUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
155 155
				COMMAND  ${LUSTRE_COMPILER} ${LUSTREC_ARGS_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}} 
156 156
				WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
157 157
		)
158 158

  
159 159
		 #********************* make -f ${L}.makefile ***************************
160
		 add_test(NAME Kind_fmcad08_protocol_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
160
		 add_test(NAME kind_fmcad08_protocol_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
161 161
				COMMAND  make -f ${L}.makefile
162 162
				WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
163 163
		)
164
		SET_TESTS_PROPERTIES ( Kind_fmcad08_protocol_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
165
		 PROPERTIES DEPENDS Kind_fmcad08_protocol_COMPIL_LUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
164
		SET_TESTS_PROPERTIES ( kind_fmcad08_protocol_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
165
		 PROPERTIES DEPENDS kind_fmcad08_protocol_COMPIL_LUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
166 166
					REQUIRED_FILES ${L}.makefile
167 167
					)
168 168
		 
......
170 170
		
171 171
		if (BASH)
172 172
			add_test(
173
				NAME Kind_fmcad08_protocol_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT} 
173
				NAME kind_fmcad08_protocol_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT} 
174 174
				COMMAND ${BASH} -c "./${L}_${LUSTRE_NODE_OPT} < input_values > ${L}_${LUSTRE_NODE_OPT}_outputs"
175 175
				WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
176 176
			)
177
			SET_TESTS_PROPERTIES ( Kind_fmcad08_protocol_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
177
			SET_TESTS_PROPERTIES ( kind_fmcad08_protocol_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
178 178
				PROPERTIES REQUIRED_FILES ${L}_${LUSTRE_NODE_OPT}
179
					DEPENDS Kind_fmcad08_protocol_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT})
179
					DEPENDS kind_fmcad08_protocol_MAKE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT})
180 180
		else()
181 181
			message(FATAL_ERROR "Unknown shell command for ${CMAKE_HOST_SYSTEM_NAME}")
182 182
		endif()
183 183

  
184 184
		 #************** execute C binary **********************************
185
		 add_test(NAME Kind_fmcad08_protocol_COMPARE_OUTPUTS_OF_LUSTREC_ZUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
185
		 add_test(NAME kind_fmcad08_protocol_COMPARE_OUTPUTS_OF_LUSTREC_ZUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
186 186
				COMMAND ${CMAKE_COMMAND} -E compare_files ${L}_${LUSTRE_NODE_OPT}_outputs ZUSTRE_output_values
187 187
				WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
188 188
		)
189
		SET_TESTS_PROPERTIES ( Kind_fmcad08_protocol_COMPARE_OUTPUTS_OF_LUSTREC_ZUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
189
		SET_TESTS_PROPERTIES ( kind_fmcad08_protocol_COMPARE_OUTPUTS_OF_LUSTREC_ZUSTRE_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}
190 190
		 PROPERTIES REQUIRED_FILES ${L}_${LUSTRE_NODE_OPT}_outputs
191
					DEPENDS Kind_fmcad08_protocol_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT} )
191
					DEPENDS kind_fmcad08_protocol_BIN_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT} )
192 192
					
193 193
					
194 194

  
195 195
	endif()
196 196
	
197 197
ENDFOREACH()
198
add_custom_target(Kind_fmcad08_protocol COMMAND ${CMAKE_CTEST_COMMAND} -R Kind_fmcad08_protocol)
198
add_custom_target(kind_fmcad08_protocol COMMAND ${CMAKE_CTEST_COMMAND} -R kind_fmcad08_protocol)
199 199

  

Also available in: Unified diff