#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include <assert.h>
#include "heater_control_alloc.h"
#include "../clock.h"
#include "../dm_random.c"

static double _get_double(void) {
  return (dm_random_uint32()%70000U) * 1E-3 -20.0;
}

static void _put_bool(const char *name, _Bool b) {
  printf("%s: %d\n", name, b);
}

/* C code generated by lustrec
   Version number 1.6-@GITBRANCH@
   Code is C99 compliant
   Using (double) floating-point numbers */
   
int main (int argc, char *argv[]) {
  
  /* Main memory allocation */
  heater_control_ALLOC(static,main_mem);

  clock_prepare();
  clock_start();
  
  /* Initialize the main memory */
  heater_control_reset(&main_mem);
  
  /* Infinite loop */
  for(int loop_count=0; loop_count<1000; loop_count++){
    double T = _get_double();
    double T1 = _get_double();
    double T2 = _get_double();
    double T3 = _get_double();
    _Bool Heat_on;
    heater_control_step (T, T1, T2, T3, &Heat_on, &main_mem);
    // _put_bool("Heat_on", Heat_on);
  }
  
  clock_stop();
  print_total_clock();
  
  return 1;
}