/* Schedule 557 of 2025/01/28 21:36:09 */
#include "driver.h"
#include "schedule.h"
#include <stdlib.h>
schedule_t make_schedule() {
  schedule_t sched;
  int nthread = 2;
  sched.kind = PQUEUE;
  sched.num_ops = 2;
  sched.nthread = nthread;
  sched.npreAdd = 1;
  sched.preAdds = malloc(1*sizeof(step_t));
  sched.preAdds[0] = schedule_make_step_2(ADD, 0, 3);
  sched.nstep = 4;
  sched.nsteps = malloc(nthread*sizeof(int));
  sched.nsteps[0] = 3;
  sched.nsteps[1] = 1;
  sched.steps = malloc(nthread*sizeof(step_t*));
  for (int i=0; i<nthread; i++)
    sched.steps[i] = malloc(sched.nsteps[i]*sizeof(step_t));
  sched.steps[0][0] = schedule_make_step_2(ADD, 1, 1);
  sched.steps[0][1] = schedule_make_step_2(ADD, 2, 4);
  sched.steps[0][2] = schedule_make_step_2(ADD, 3, 2);
  sched.steps[1][0] = schedule_make_step_2(ADD, 4, 0);
  return sched;
}