1 /* Copyright (c) 2015 Regents of the University of California
3 * Author: Brian Demsky <bdemsky@uci.edu>
5 * This program is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU General Public License
7 * version 2 as published by the Free Software Foundation.
11 * @brief Core model checker.
19 #include "mcexecution.h"
21 #include "hashtable.h"
28 MC(struct model_params params);
30 MCExecution * get_execution() const { return execution; }
31 MCScheduler * get_scheduler() const { return execution->get_scheduler(); }
33 const model_params params;
37 MCExecution *execution;
40 friend void user_main_wrapper();
44 #endif/* __MODEL_H__ */