Showing error 1766

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

Source: 

4394                        }
4395                      }
4396                    }
4397                  }
4398                }
4399              }
4400            }
4401          }
4402        }
4403      }
4404    }
4405  }
4406  while_3_break: /* CIL Label */ ;
4407  }
4408  {
4409#line 60
4410  bobToRjh();
4411  }
4412#line 167 "scenario.c"
4413  return;
4414}
4415}
4416#line 1 "wsllib_check.o"
4417#pragma merger(0,"wsllib_check.i","")
4418#line 3 "wsllib_check.c"
4419void __automaton_fail(void) 
4420{ 
4421
4422  {
4423  goto ERROR;
4424  ERROR: ;
4425#line 53 "wsllib_check.c"
4426  return;
4427}
4428}
Show full sources
↑