335#line 85
336 tmp = valid_product();
337 }
338#line 85
339 if (tmp) {
340 {
341#line 86
342 setup();
343#line 87
344 runTest();
345 }
346 } else {
347
348 }
349#line 1226 "Test.c"
350 retValue_acc = 0;
351#line 1228
352 return (retValue_acc);
353#line 1235
354 return (retValue_acc);
355}
356}
357#line 1 "wsllib_check.o"
358#pragma merger(0,"wsllib_check.i","")
359#line 3 "wsllib_check.c"
360void __automaton_fail(void)
361{
362
363 {
364 goto ERROR;
365 ERROR: ;
366#line 53 "wsllib_check.c"
367 return;
368}
369}
370#line 1 "Specification3_spec.o"
371#pragma merger(0,"Specification3_spec.i","")
372#line 10 "MinePump.h"
373int isPumpRunning(void) ;
374#line 11 "Specification3_spec.c"
375__inline void __utac_acc__Specification3_spec__1(void)