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_spec11_product15_unsafe.cil.c |
Line in file: | 3110 |
Project: | SV-COMP 2013 |
Project version: | 2.6.28 |
Tools: |
Manual Work
|
Entered: | 2013-01-17 16:57:54 UTC |
3080 } 3081 } 3082 } 3083 } 3084 } 3085 } 3086 } 3087 } 3088 } 3089 } 3090 } 3091 } 3092 while_0_break: /* CIL Label */ ; 3093 } 3094 { 3095#line 60 3096 bobToRjh(); 3097 } 3098#line 167 "scenario.c" 3099 return; 3100} 3101} 3102#line 1 "wsllib_check.o" 3103#pragma merger(0,"wsllib_check.i","") 3104#line 3 "wsllib_check.c" 3105void __automaton_fail(void) 3106{ 3107 3108 { 3109 goto ERROR; 3110 ERROR: ; 3111#line 53 "wsllib_check.c" 3112 return; 3113} 3114} 3115#line 1 "featureselect.o" 3116#pragma merger(0,"featureselect.i","") 3117#line 41 "featureselect.h" 3118int select_one(void) ; 3119#line 43 3120void select_features(void) ;