Showing error 1960

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_product55_safe.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 85
1393  tmp = valid_product();
1394  }
1395#line 85
1396  if (tmp) {
1397    {
1398#line 86
1399    setup();
1400#line 87
1401    runTest();
1402    }
1403  } else {
1404
1405  }
1406#line 1234 "Test.c"
1407  retValue_acc = 0;
1408#line 1236
1409  return (retValue_acc);
1410#line 1243
1411  return (retValue_acc);
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
↑