From 46c6c7681f29dde6351675679213e81758939e37 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Fri, 24 Jul 2015 13:14:25 +0200 Subject: [PATCH] [mc] Cleanup mc_client_api.cpp --- src/mc/mc_client_api.cpp | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/src/mc/mc_client_api.cpp b/src/mc/mc_client_api.cpp index cac60bcd61..bdc12a2150 100644 --- a/src/mc/mc_client_api.cpp +++ b/src/mc/mc_client_api.cpp @@ -28,10 +28,13 @@ extern "C" { XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_client_api, mc, "Public API for the model-checked application"); +} + int MC_random(int min, int max) { xbt_assert(mc_mode != MC_MODE_SERVER); - // TODO, if the MC is disabled we do not really need to make a simcall for this :) + /* TODO, if the MC is disabled we do not really need to make a simcall for + * this :) */ /* FIXME: return mc_current_state->executed_transition->random.value; */ return simcall_mc_random(min, max); } @@ -44,8 +47,6 @@ void MC_assert(int prop) } } -// TODO, MC_automaton_new_propositional_symbol - void *MC_snapshot(void) { return simcall_mc_snapshot(); @@ -106,5 +107,3 @@ void MC_automaton_new_propositional_symbol_pointer(const char *name, int* value) message.data = value; MC_client_send_message(&message, sizeof(message)); } - -} -- 2.20.1