872#line 85
873 tmp = valid_product();
874 }
875#line 85
876 if (tmp) {
877 {
878#line 86
879 setup();
880#line 87
881 runTest();
882 }
883 } else {
884
885 }
886#line 1226 "Test.c"
887 retValue_acc = 0;
888#line 1228
889 return (retValue_acc);
890#line 1235
891 return (retValue_acc);
892}
893}
894#line 1 "wsllib_check.o"
895#pragma merger(0,"wsllib_check.i","")
896#line 3 "wsllib_check.c"
897void __automaton_fail(void)
898{
899
900 {
901 goto ERROR;
902 ERROR: ;
903#line 53 "wsllib_check.c"
904 return;
905}
906}
907#line 1 "Specification3_spec.o"
908#pragma merger(0,"Specification3_spec.i","")
909#line 10 "MinePump.h"
910int isPumpRunning(void) ;
911#line 11 "Specification3_spec.c"
912__inline void __utac_acc__Specification3_spec__1(void)