Also, fixes 'leak' where we forgot to free the main_thread.
model = new ModelChecker();
model = new ModelChecker();
- main_thread = (struct thread *)malloc(sizeof(*main_thread));
+ main_thread = (struct thread *)myMalloc(sizeof(*main_thread));
create_initial_thread(main_thread);
model->add_system_thread(main_thread);
create_initial_thread(main_thread);
model->add_system_thread(main_thread);
thread_wait_finish();
delete model;
thread_wait_finish();
delete model;
DEBUG("Exiting\n");
return 0;
DEBUG("Exiting\n");
return 0;