Showing error 2079

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

Source: 

1022    deactivatePump();
1023    }
1024  } else {
1025
1026  }
1027#line 82
1028  systemActive = 0;
1029#line 369 "MinePump.c"
1030  return;
1031}
1032}
1033#line 84 "MinePump.c"
1034void startSystem(void) 
1035{ 
1036
1037  {
1038#line 86
1039  systemActive = 1;
1040#line 389 "MinePump.c"
1041  return;
1042}
1043}
1044#line 1 "wsllib_check.o"
1045#pragma merger(0,"wsllib_check.i","")
1046#line 3 "wsllib_check.c"
1047void __automaton_fail(void) 
1048{ 
1049
1050  {
1051  goto ERROR;
1052  ERROR: ;
1053#line 53 "wsllib_check.c"
1054  return;
1055}
1056}
1057#line 1 "Test.o"
1058#pragma merger(0,"Test.i","")
1059#line 8 "Test.c"
1060int cleanupTimeShifts  =    4;
1061#line 11 "Test.c"
1062#line 17 "Test.c"
Show full sources
↑