Showing error 1907

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

Source: 

1183#line 12
1184      if (tmp___1) {
1185
1186      } else {
1187
1188      }
1189    }
1190    {
1191#line 14
1192    timeShift();
1193    }
1194  }
1195  while_4_break: /* CIL Label */ ;
1196  }
1197  {
1198#line 16
1199  cleanup();
1200  }
1201#line 76 "scenario.c"
1202  return;
1203}
1204}
1205#line 1 "wsllib_check.o"
1206#pragma merger(0,"wsllib_check.i","")
1207#line 3 "wsllib_check.c"
1208void __automaton_fail(void) 
1209{ 
1210
1211  {
1212  goto ERROR;
1213  ERROR: ;
1214#line 53 "wsllib_check.c"
1215  return;
1216}
1217}
Show full sources
↑