model_checker_init();
- main_thread = malloc(sizeof(struct thread));
+ main_thread = (struct thread *)malloc(sizeof(*main_thread));
create_initial_thread(main_thread);
model_checker_add_system_thread(main_thread);
void model_checker_init(void)
{
- model = malloc(sizeof(*model));
+ model = (struct model_checker *)malloc(sizeof(*model));
memset(model, 0, sizeof(*model));
/* First thread created (system_thread) will have id 1 */
struct scheduler *sched;
/* Initialize default scheduler */
- sched = malloc(sizeof(*sched));
+ sched = (struct scheduler *)malloc(sizeof(*sched));
sched->init = NULL;
sched->exit = NULL;
sched->add_thread = default_add_thread;