Showing error 1636

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

Source: 

2134#line 176
2135  tmp = valid_product();
2136  }
2137#line 176
2138  if (tmp) {
2139    {
2140#line 177
2141    setup();
2142#line 178
2143    runTest();
2144    }
2145  } else {
2146
2147  }
2148#line 1604 "Test.c"
2149  retValue_acc = 0;
2150#line 1606
2151  return (retValue_acc);
2152#line 1613
2153  return (retValue_acc);
2154}
2155}
2156#line 1 "wsllib_check.o"
2157#pragma merger(0,"wsllib_check.i","")
2158#line 3 "wsllib_check.c"
2159void __automaton_fail(void) 
2160{ 
2161
2162  {
2163  goto ERROR;
2164  ERROR: ;
2165#line 53 "wsllib_check.c"
2166  return;
2167}
2168}
2169#line 1 "Elevator.o"
2170#pragma merger(0,"Elevator.i","")
2171#line 359 "/usr/include/stdio.h"
2172extern int printf(char const   * __restrict  __format  , ...) ;
2173#line 10 "Person.h"
2174int getWeight(int person ) ;
Show full sources
↑