Showing error 2133

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

Source: 

1071#line 85
1072  tmp = valid_product();
1073  }
1074#line 85
1075  if (tmp) {
1076    {
1077#line 86
1078    setup();
1079#line 87
1080    runTest();
1081    }
1082  } else {
1083
1084  }
1085#line 1234 "Test.c"
1086  retValue_acc = 0;
1087#line 1236
1088  return (retValue_acc);
1089#line 1243
1090  return (retValue_acc);
1091}
1092}
1093#line 1 "wsllib_check.o"
1094#pragma merger(0,"wsllib_check.i","")
1095#line 3 "wsllib_check.c"
1096void __automaton_fail(void) 
1097{ 
1098
1099  {
1100  goto ERROR;
1101  ERROR: ;
1102#line 53 "wsllib_check.c"
1103  return;
1104}
1105}
1106#line 1 "Environment.o"
1107#pragma merger(0,"Environment.i","")
1108#line 12 "Environment.h"
1109int getWaterLevel(void) ;
1110#line 9 "Environment.c"
1111int waterLevel  =    1;
Show full sources
↑