* \ingroup simix_host_management
* \brief Returns a dict of the properties assigned to a router or AS.
*
- * \param asr name of the router or AS
+ * \param name The name of the router or AS
* \return The properties
*/
xbt_dict_t simcall_asr_get_properties(const char *name)
return simcall->file_ls.result;
}
+#ifdef HAVE_MC
+
+void *simcall_mc_snapshot(void)
+{
+ smx_simcall_t simcall = SIMIX_simcall_mine();
+ simcall->call = SIMCALL_MC_SNAPSHOT;
+
+ SIMIX_simcall_push(simcall->issuer);
+
+ return simcall->mc_snapshot.s;
+}
+
+int simcall_mc_compare_snapshots(void *s1, void *s2){
+
+ smx_simcall_t simcall = SIMIX_simcall_mine();
+ simcall->call = SIMCALL_MC_COMPARE_SNAPSHOTS;
+ simcall->mc_compare_snapshots.snapshot1 = s1;
+ simcall->mc_compare_snapshots.snapshot2 = s2;
+
+ if(MC_is_active()) /* Initialize result to a default value for snapshot comparison done during simcall */
+ simcall->mc_compare_snapshots.result = -1;
+
+ SIMIX_simcall_push(simcall->issuer);
+
+ return simcall->mc_compare_snapshots.result;
+}
+
+#endif /* HAVE_MC */
+
/* ****************************************************************************************** */
/* TUTORIAL: New API */
/* All functions for simcall */