Showing error 1948

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_spec2_product43_unsafe.cil.c
Line in file: 1333
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

1303}
1304}
1305#line 77 "MinePump.c"
1306void stopSystem(void) 
1307{ 
1308
1309  {
1310#line 82
1311  if (pumpRunning) {
1312    {
1313#line 79
1314    deactivatePump();
1315    }
1316  } else {
1317
1318  }
1319#line 82
1320  systemActive = 0;
1321#line 367 "MinePump.c"
1322  return;
1323}
1324}
1325#line 1 "wsllib_check.o"
1326#pragma merger(0,"wsllib_check.i","")
1327#line 3 "wsllib_check.c"
1328void __automaton_fail(void) 
1329{ 
1330
1331  {
1332  goto ERROR;
1333  ERROR: ;
1334#line 53 "wsllib_check.c"
1335  return;
1336}
1337}
Show full sources
↑