Showing error 1672

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

Source: 

2975                        }
2976                      }
2977                    }
2978                  }
2979                }
2980              }
2981            }
2982          }
2983        }
2984      }
2985    }
2986  }
2987  while_0_break: /* CIL Label */ ;
2988  }
2989  {
2990#line 61
2991  bobToRjh();
2992  }
2993#line 169 "scenario.c"
2994  return;
2995}
2996}
2997#line 1 "wsllib_check.o"
2998#pragma merger(0,"wsllib_check.i","")
2999#line 3 "wsllib_check.c"
3000void __automaton_fail(void) 
3001{ 
3002
3003  {
3004  goto ERROR;
3005  ERROR: ;
3006#line 53 "wsllib_check.c"
3007  return;
3008}
3009}
3010#line 1 "Email.o"
3011#pragma merger(0,"Email.i","")
3012#line 6 "EmailLib.h"
3013int getEmailId(int handle ) ;
3014#line 42
3015int isVerified(int handle ) ;
Show full sources
↑