Showing error 1863

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

Source: 

1284#line 85
1285  tmp = valid_product();
1286  }
1287#line 85
1288  if (tmp) {
1289    {
1290#line 86
1291    setup();
1292#line 87
1293    runTest();
1294    }
1295  } else {
1296
1297  }
1298#line 1226 "Test.c"
1299  retValue_acc = 0;
1300#line 1228
1301  return (retValue_acc);
1302#line 1235
1303  return (retValue_acc);
1304}
1305}
1306#line 1 "wsllib_check.o"
1307#pragma merger(0,"wsllib_check.i","")
1308#line 3 "wsllib_check.c"
1309void __automaton_fail(void) 
1310{ 
1311
1312  {
1313  goto ERROR;
1314  ERROR: ;
1315#line 53 "wsllib_check.c"
1316  return;
1317}
1318}
Show full sources
↑