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
   9 #if __cplusplus
  10 using std::memory_order;
  11 extern "C" {
  12 #endif
  13
  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);
  20
  21
  22 #if __cplusplus
  23 }
  24 #endif
  25
  26 #endif