Showing error 1722

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

Source: 

4185                        }
4186                      }
4187                    }
4188                  }
4189                }
4190              }
4191            }
4192          }
4193        }
4194      }
4195    }
4196  }
4197  while_3_break: /* CIL Label */ ;
4198  }
4199  {
4200#line 59
4201  bobToRjh();
4202  }
4203#line 165 "scenario.c"
4204  return;
4205}
4206}
4207#line 1 "wsllib_check.o"
4208#pragma merger(0,"wsllib_check.i","")
4209#line 3 "wsllib_check.c"
4210void __automaton_fail(void) 
4211{ 
4212
4213  {
4214  goto ERROR;
4215  ERROR: ;
4216#line 53 "wsllib_check.c"
4217  return;
4218}
4219}
Show full sources
↑