Showing error 2153

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

Source: 

1237#line 85
1238  tmp = valid_product();
1239  }
1240#line 85
1241  if (tmp) {
1242    {
1243#line 86
1244    setup();
1245#line 87
1246    runTest();
1247    }
1248  } else {
1249
1250  }
1251#line 1234 "Test.c"
1252  retValue_acc = 0;
1253#line 1236
1254  return (retValue_acc);
1255#line 1243
1256  return (retValue_acc);
1257}
1258}
1259#line 1 "wsllib_check.o"
1260#pragma merger(0,"wsllib_check.i","")
1261#line 3 "wsllib_check.c"
1262void __automaton_fail(void) 
1263{ 
1264
1265  {
1266  goto ERROR;
1267  ERROR: ;
1268#line 53 "wsllib_check.c"
1269  return;
1270}
1271}
1272#line 1 "Environment.o"
1273#pragma merger(0,"Environment.i","")
1274#line 9 "Environment.c"
1275int waterLevel  =    1;
1276#line 12 "Environment.c"
1277int methaneLevelCritical  =    0;
Show full sources
↑