Showing error 1692

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

Source: 

3273                        }
3274                      }
3275                    }
3276                  }
3277                }
3278              }
3279            }
3280          }
3281        }
3282      }
3283    }
3284  }
3285  while_3_break: /* CIL Label */ ;
3286  }
3287  {
3288#line 59
3289  bobToRjh();
3290  }
3291#line 165 "scenario.c"
3292  return;
3293}
3294}
3295#line 1 "wsllib_check.o"
3296#pragma merger(0,"wsllib_check.i","")
3297#line 3 "wsllib_check.c"
3298void __automaton_fail(void) 
3299{ 
3300
3301  {
3302  goto ERROR;
3303  ERROR: ;
3304#line 53 "wsllib_check.c"
3305  return;
3306}
3307}
3308#line 1 "EmailLib.o"
3309#pragma merger(0,"EmailLib.i","")
3310#line 4 "EmailLib.h"
3311int initEmail(void) ;
3312#line 8
3313void setEmailId(int handle , int value ) ;
Show full sources
↑