Showing error 1842

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

Source: 

 636  }
 637  {
 638#line 51
 639  printf(")");
 640  }
 641#line 189 "Environment.c"
 642  return;
 643}
 644}
 645#line 55 "Environment.c"
 646int getWaterLevel(void) 
 647{ int retValue_acc ;
 648
 649  {
 650#line 207 "Environment.c"
 651  retValue_acc = waterLevel;
 652#line 209
 653  return (retValue_acc);
 654#line 216
 655  return (retValue_acc);
 656}
 657}
 658#line 1 "wsllib_check.o"
 659#pragma merger(0,"wsllib_check.i","")
 660#line 3 "wsllib_check.c"
 661void __automaton_fail(void) 
 662{ 
 663
 664  {
 665  goto ERROR;
 666  ERROR: ;
 667#line 53 "wsllib_check.c"
 668  return;
 669}
 670}
 671#line 1 "libacc.o"
 672#pragma merger(0,"libacc.i","")
 673#line 73 "/usr/include/assert.h"
 674extern  __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const   *__assertion ,
 675                                                                      char const   *__file ,
 676                                                                      unsigned int __line ,
Show full sources
↑