391#line 85
392 tmp = valid_product();
393 }
394#line 85
395 if (tmp) {
396 {
397#line 86
398 setup();
399#line 87
400 runTest();
401 }
402 } else {
403
404 }
405#line 1234 "Test.c"
406 retValue_acc = 0;
407#line 1236
408 return (retValue_acc);
409#line 1243
410 return (retValue_acc);
411}
412}
413#line 1 "wsllib_check.o"
414#pragma merger(0,"wsllib_check.i","")
415#line 3 "wsllib_check.c"
416void __automaton_fail(void)
417{
418
419 {
420 goto ERROR;
421 ERROR: ;
422#line 53 "wsllib_check.c"
423 return;
424}
425}
426#line 1 "MinePump.o"
427#pragma merger(0,"MinePump.i","")
428#line 6 "MinePump.h"
429void activatePump(void) ;
430#line 8
431void deactivatePump(void) ;