Showing error 2077

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

Source: 

1269#line 329
1270    tmp___0 = 1;
1271  }
1272#line 329
1273  retValue_acc = tmp___0;
1274#line 331
1275  return (retValue_acc);
1276#line 338
1277  return (retValue_acc);
1278}
1279}
1280#line 77 "MinePump.c"
1281void startSystem(void) 
1282{ 
1283
1284  {
1285#line 79
1286  systemActive = 1;
1287#line 362 "MinePump.c"
1288  return;
1289}
1290}
1291#line 1 "wsllib_check.o"
1292#pragma merger(0,"wsllib_check.i","")
1293#line 3 "wsllib_check.c"
1294void __automaton_fail(void) 
1295{ 
1296
1297  {
1298  goto ERROR;
1299  ERROR: ;
1300#line 53 "wsllib_check.c"
1301  return;
1302}
1303}
Show full sources
↑