Showing error 2101

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

Source: 

1183    {
1184#line 52
1185    printf("On");
1186    }
1187  } else {
1188    {
1189#line 53
1190    printf("Off");
1191    }
1192  }
1193  {
1194#line 55
1195  printf(") ");
1196#line 56
1197  printEnvironment();
1198#line 57
1199  printf("\n");
1200  }
1201#line 265 "MinePump.c"
1202  return;
1203}
1204}
1205#line 1 "wsllib_check.o"
1206#pragma merger(0,"wsllib_check.i","")
1207#line 3 "wsllib_check.c"
1208void __automaton_fail(void) 
1209{ 
1210
1211  {
1212  goto ERROR;
1213  ERROR: ;
1214#line 53 "wsllib_check.c"
1215  return;
1216}
1217}
Show full sources
↑