Showing error 2026

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

Source: 

1392#line 13
1393        stopSystem();
1394        }
1395      } else {
1396
1397      }
1398    }
1399    {
1400#line 15
1401    timeShift();
1402    }
1403  }
1404  while_4_break: /* CIL Label */ ;
1405  }
1406  {
1407#line 17
1408  cleanup();
1409  }
1410#line 78 "scenario.c"
1411  return;
1412}
1413}
1414#line 1 "wsllib_check.o"
1415#pragma merger(0,"wsllib_check.i","")
1416#line 3 "wsllib_check.c"
1417void __automaton_fail(void) 
1418{ 
1419
1420  {
1421  goto ERROR;
1422  ERROR: ;
1423#line 53 "wsllib_check.c"
1424  return;
1425}
1426}
Show full sources
↑