Showing error 2074

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

Source: 

 981}
 982}
 983#line 77 "MinePump.c"
 984void stopSystem(void) 
 985{ 
 986
 987  {
 988#line 82
 989  if (pumpRunning) {
 990    {
 991#line 79
 992    deactivatePump();
 993    }
 994  } else {
 995
 996  }
 997#line 82
 998  systemActive = 0;
 999#line 369 "MinePump.c"
1000  return;
1001}
1002}
1003#line 1 "wsllib_check.o"
1004#pragma merger(0,"wsllib_check.i","")
1005#line 3 "wsllib_check.c"
1006void __automaton_fail(void) 
1007{ 
1008
1009  {
1010  goto ERROR;
1011  ERROR: ;
1012#line 53 "wsllib_check.c"
1013  return;
1014}
1015}
1016#line 1 "Environment.o"
1017#pragma merger(0,"Environment.i","")
1018#line 12 "Environment.h"
1019int getWaterLevel(void) ;
1020#line 9 "Environment.c"
1021int waterLevel  =    1;
Show full sources
↑