include/cmodelint.h

   1 /** @file cmodelint.h
   2  *  @brief C interface to the model checker.
   3  */
   4
   5 #ifndef CMODELINT_H
   6 #define CMODELINT_H
   7 #include <inttypes.h>
   8 #include "memoryorder.h"
   9
  10 #if __cplusplus
  11 using std::memory_order;
  12 extern "C" {
  13 #endif
  14
  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);
  22
  23
  24 #if __cplusplus
  25 }
  26 #endif
  27
  28 #endif