Showing error 1963

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

Source: 

1372#line 85
1373  tmp = valid_product();
1374  }
1375#line 85
1376  if (tmp) {
1377    {
1378#line 86
1379    setup();
1380#line 87
1381    runTest();
1382    }
1383  } else {
1384
1385  }
1386#line 1234 "Test.c"
1387  retValue_acc = 0;
1388#line 1236
1389  return (retValue_acc);
1390#line 1243
1391  return (retValue_acc);
1392}
1393}
1394#line 1 "wsllib_check.o"
1395#pragma merger(0,"wsllib_check.i","")
1396#line 3 "wsllib_check.c"
1397void __automaton_fail(void) 
1398{ 
1399
1400  {
1401  goto ERROR;
1402  ERROR: ;
1403#line 53 "wsllib_check.c"
1404  return;
1405}
1406}
Show full sources
↑