706#line 85
707 tmp = valid_product();
708 }
709#line 85
710 if (tmp) {
711 {
712#line 86
713 setup();
714#line 87
715 runTest();
716 }
717 } else {
718
719 }
720#line 1234 "Test.c"
721 retValue_acc = 0;
722#line 1236
723 return (retValue_acc);
724#line 1243
725 return (retValue_acc);
726}
727}
728#line 1 "wsllib_check.o"
729#pragma merger(0,"wsllib_check.i","")
730#line 3 "wsllib_check.c"
731void __automaton_fail(void)
732{
733
734 {
735 goto ERROR;
736 ERROR: ;
737#line 53 "wsllib_check.c"
738 return;
739}
740}
741#line 1 "Specification2_spec.o"
742#pragma merger(0,"Specification2_spec.i","")
743#line 10 "MinePump.h"
744int isPumpRunning(void) ;
745#line 10 "Environment.h"
746int isMethaneLevelCritical(void) ;