C++ (Cpp) reset_delta_events примеры использования

Пример #1

Файл: bist_cell_true-unreach-call_false-termination.cil.c Проект: oliverstth/sv-benchmarks

void start_simulation(void) 
{ int kernel_st ;
  int tmp ;

  {
  {
  kernel_st = 0;
  update_channels();
  init_threads();
  fire_delta_events();
  activate_threads();
  reset_delta_events();
  }
  {
  while (1) {
    while_1_continue: /* CIL Label */ ;
    {
    kernel_st = 1;
    eval();
    }
    {
    kernel_st = 2;
    update_channels();
    }
    {
    kernel_st = 3;
    fire_delta_events();
    activate_threads();
    reset_delta_events();
    tmp = stop_simulation();
    }
    if (tmp) {
      goto while_1_break;
    } else {

    }
  }
  while_1_break: /* CIL Label */ ;
  }

  return;
}
}

Пример #2

Файл: pre_main.c Проект: hbgit/EZProofC

void start_simulation(void)
{
   int kernel_st;
   int tmp;
   int tmp___0;

   {
      {
         kernel_st = 0;
         update_channels();
         init_threads();
         fire_delta_events();
         activate_threads();
         reset_delta_events();
      }
      {
         while (1)
         {
while_3_continue: /* CIL Label */;
            {
               kernel_st = 1;
               eval();
            }
            {
               kernel_st = 2;
               update_channels();
            }
            {
               kernel_st = 3;
               fire_delta_events();
               activate_threads();
               reset_delta_events();
            }
            {
               tmp = exists_runnable_thread();
            }
            if (tmp == 0)
            {
               {
                  kernel_st = 4;
                  fire_time_events();
                  activate_threads();
                  reset_time_events();
               }
            }
            else
            {
            }
            {
               tmp___0 = stop_simulation();
            }
            if (tmp___0)
            {
               goto while_3_break;
            }
            else
            {
            }
         }
while_3_break: /* CIL Label */;
      }

      return;
   }
}