2 * @brief C interface to the model checker.
8 #include "memoryorder.h"
11 using std::memory_order;
15 uint64_t model_read_action(void * obj, memory_order ord);
16 void model_write_action(void * obj, memory_order ord, uint64_t val);
17 void model_init_action(void * obj, uint64_t val);
18 uint64_t model_rmwr_action(void *obj, memory_order ord);
19 void model_rmw_action(void *obj, memory_order ord, uint64_t val);
20 void model_rmwc_action(void *obj, memory_order ord);
21 void model_fence_action(memory_order ord);