Showing error 2019

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

Source: 

1319#line 85
1320  tmp = valid_product();
1321  }
1322#line 85
1323  if (tmp) {
1324    {
1325#line 86
1326    setup();
1327#line 87
1328    runTest();
1329    }
1330  } else {
1331
1332  }
1333#line 1226 "Test.c"
1334  retValue_acc = 0;
1335#line 1228
1336  return (retValue_acc);
1337#line 1235
1338  return (retValue_acc);
1339}
1340}
1341#line 1 "wsllib_check.o"
1342#pragma merger(0,"wsllib_check.i","")
1343#line 3 "wsllib_check.c"
1344void __automaton_fail(void) 
1345{ 
1346
1347  {
1348  goto ERROR;
1349  ERROR: ;
1350#line 53 "wsllib_check.c"
1351  return;
1352}
1353}
Show full sources
↑