XBT_PUBLIC(double) MC_process_clock_get(smx_process_t);
void MC_automaton_load(const char *file);
+void MC_ignore_init(void);
+XBT_PUBLIC(void) MC_ignore(void *address, size_t size);
+
/********************************* Memory *************************************/
XBT_PUBLIC(void) MC_memory_init(void); /* Initialize the memory subsystem */
XBT_PUBLIC(void) MC_memory_exit(void);
+/********************************* Snapshot comparison test *************************************/
+void MC_test_snapshot_comparison(void);
+
+/* Trigger for state equality detection (check potential cycle in application) */
+void MC_compare(void);
+
SG_END_DECL()
#endif /* _MC_MC_H */
