Showing error 1906

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

Source: 

1172  }
1173  {
1174#line 51
1175  printf(")");
1176  }
1177#line 189 "Environment.c"
1178  return;
1179}
1180}
1181#line 55 "Environment.c"
1182int getWaterLevel(void) 
1183{ int retValue_acc ;
1184
1185  {
1186#line 207 "Environment.c"
1187  retValue_acc = waterLevel;
1188#line 209
1189  return (retValue_acc);
1190#line 216
1191  return (retValue_acc);
1192}
1193}
1194#line 1 "wsllib_check.o"
1195#pragma merger(0,"wsllib_check.i","")
1196#line 3 "wsllib_check.c"
1197void __automaton_fail(void) 
1198{ 
1199
1200  {
1201  goto ERROR;
1202  ERROR: ;
1203#line 53 "wsllib_check.c"
1204  return;
1205}
1206}
Show full sources
↑