2 * @brief C interface to the model checker.
10 using std::memory_order;
14 uint64_t model_read_action(void * obj, memory_order ord);
15 void model_write_action(void * obj, memory_order ord, uint64_t val);
16 void model_init_action(void * obj, uint64_t val);
17 uint64_t model_rmwr_action(void *obj, memory_order ord);
18 void model_rmw_action(void *obj, memory_order ord, uint64_t val);
19 void model_rmwc_action(void *obj, memory_order ord);