570#line 85
571 tmp = valid_product();
572 }
573#line 85
574 if (tmp) {
575 {
576#line 86
577 setup();
578#line 87
579 runTest();
580 }
581 } else {
582
583 }
584#line 1226 "Test.c"
585 retValue_acc = 0;
586#line 1228
587 return (retValue_acc);
588#line 1235
589 return (retValue_acc);
590}
591}
592#line 1 "wsllib_check.o"
593#pragma merger(0,"wsllib_check.i","")
594#line 3 "wsllib_check.c"
595void __automaton_fail(void)
596{
597
598 {
599 goto ERROR;
600 ERROR: ;
601#line 53 "wsllib_check.c"
602 return;
603}
604}
605#line 1 "Environment.o"
606#pragma merger(0,"Environment.i","")
607#line 12 "Environment.h"
608int getWaterLevel(void) ;
609#line 9 "Environment.c"
610int waterLevel = 1;