Showing error 1872

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: product-lines/minepump_spec1_product32_safe.cil.c
Line in file: 1210
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

1180    deactivatePump();
1181    }
1182  } else {
1183
1184  }
1185#line 89
1186  systemActive = 0;
1187#line 395 "MinePump.c"
1188  return;
1189}
1190}
1191#line 91 "MinePump.c"
1192void startSystem(void) 
1193{ 
1194
1195  {
1196#line 93
1197  systemActive = 1;
1198#line 415 "MinePump.c"
1199  return;
1200}
1201}
1202#line 1 "wsllib_check.o"
1203#pragma merger(0,"wsllib_check.i","")
1204#line 3 "wsllib_check.c"
1205void __automaton_fail(void) 
1206{ 
1207
1208  {
1209  goto ERROR;
1210  ERROR: ;
1211#line 53 "wsllib_check.c"
1212  return;
1213}
1214}
1215#line 1 "Test.o"
1216#pragma merger(0,"Test.i","")
1217#line 8 "Test.c"
1218int cleanupTimeShifts  =    4;
1219#line 11 "Test.c"
1220#line 17 "Test.c"
Show full sources
↑