/********************************* 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 */