Showing error 2049

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

Source: 

1044#line 69
1045  printf(") ");
1046#line 70
1047  printEnvironment();
1048#line 71
1049  printf("\n");
1050  }
1051#line 309 "MinePump.c"
1052  return;
1053}
1054}
1055#line 73 "MinePump.c"
1056void startSystem(void) 
1057{ 
1058
1059  {
1060#line 75
1061  systemActive = 1;
1062#line 329 "MinePump.c"
1063  return;
1064}
1065}
1066#line 1 "wsllib_check.o"
1067#pragma merger(0,"wsllib_check.i","")
1068#line 3 "wsllib_check.c"
1069void __automaton_fail(void) 
1070{ 
1071
1072  {
1073  goto ERROR;
1074  ERROR: ;
1075#line 53 "wsllib_check.c"
1076  return;
1077}
1078}
1079#line 1 "Test.o"
1080#pragma merger(0,"Test.i","")
1081#line 8 "Test.c"
1082int cleanupTimeShifts  =    4;
1083#line 11 "Test.c"
1084#line 17 "Test.c"
Show full sources
↑