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 1117 "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 "Test.o"
 #pragma merger(0,"Test.i","")
 #line 544 "/usr/include/stdlib.h"
 extern  __attribute__((__nothrow__, __noreturn__)) void exit(int __status ) ;
 #line 17 "Test.c"
 #line 23 "Test.c"