ClabureDB: Classified Bug-Reports Database

 
       } else {
         goto while_4_break;
       }
     } else {
       goto while_4_break;
     }
     {
 #line 58
     timeShift();
 #line 59
     printState();
 #line 57
     i = i + 1;
     }
   }
   while_4_break: /* CIL Label */ ;
   }
 #line 1123 "UnitTests.c"
   return;
 }
 }
 #line 1 "wsllib_check.o"
 #pragma merger(0,"wsllib_check.i","")
 #line 3 "wsllib_check.c"
 void __automaton_fail(void) 
 { 
 
   {
  goto ERROR;
  ERROR: ;
#line 53 "wsllib_check.c"
  return;
}
}
#line 1 "Elevator.o"
#pragma merger(0,"Elevator.i","")
#line 359 "/usr/include/stdio.h"
extern int printf(char const   * __restrict  __format  , ...) ;
#line 10 "Person.h"
int getWeight(int person ) ;