Showing error 2104

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

Source: 

1174#line 85
1175  tmp = valid_product();
1176  }
1177#line 85
1178  if (tmp) {
1179    {
1180#line 86
1181    setup();
1182#line 87
1183    runTest();
1184    }
1185  } else {
1186
1187  }
1188#line 1234 "Test.c"
1189  retValue_acc = 0;
1190#line 1236
1191  return (retValue_acc);
1192#line 1243
1193  return (retValue_acc);
1194}
1195}
1196#line 1 "wsllib_check.o"
1197#pragma merger(0,"wsllib_check.i","")
1198#line 3 "wsllib_check.c"
1199void __automaton_fail(void) 
1200{ 
1201
1202  {
1203  goto ERROR;
1204  ERROR: ;
1205#line 53 "wsllib_check.c"
1206  return;
1207}
1208}
1209#line 1 "featureselect.o"
1210#pragma merger(0,"featureselect.i","")
1211#line 8 "featureselect.h"
1212int select_one(void) ;
1213#line 8 "featureselect.c"
1214int select_one(void)
Show full sources
↑