Showing error 2110

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

Source: 

1080#line 62
1081  printf(") ");
1082#line 63
1083  printEnvironment();
1084#line 64
1085  printf("\n");
1086  }
1087#line 291 "MinePump.c"
1088  return;
1089}
1090}
1091#line 66 "MinePump.c"
1092void startSystem(void) 
1093{ 
1094
1095  {
1096#line 68
1097  systemActive = 1;
1098#line 311 "MinePump.c"
1099  return;
1100}
1101}
1102#line 1 "wsllib_check.o"
1103#pragma merger(0,"wsllib_check.i","")
1104#line 3 "wsllib_check.c"
1105void __automaton_fail(void) 
1106{ 
1107
1108  {
1109  goto ERROR;
1110  ERROR: ;
1111#line 53 "wsllib_check.c"
1112  return;
1113}
1114}
1115#line 1 "Test.o"
1116#pragma merger(0,"Test.i","")
1117#line 8 "Test.c"
1118int cleanupTimeShifts  =    4;
1119#line 11 "Test.c"
1120#line 17 "Test.c"
Show full sources
↑