Showing error 2043

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

Source: 

1220#line 13
1221        stopSystem();
1222        }
1223      } else {
1224
1225      }
1226    }
1227    {
1228#line 15
1229    timeShift();
1230    }
1231  }
1232  while_4_break: /* CIL Label */ ;
1233  }
1234  {
1235#line 17
1236  cleanup();
1237  }
1238#line 78 "scenario.c"
1239  return;
1240}
1241}
1242#line 1 "wsllib_check.o"
1243#pragma merger(0,"wsllib_check.i","")
1244#line 3 "wsllib_check.c"
1245void __automaton_fail(void) 
1246{ 
1247
1248  {
1249  goto ERROR;
1250  ERROR: ;
1251#line 53 "wsllib_check.c"
1252  return;
1253}
1254}
Show full sources
↑