SimGrid  3.13
Versatile Simulation of Distributed Systems
modelchecker.h File Reference

This is the API used by the user simulated program to communicate with the MC. More...

#include <stdbool.h>
#include <simgrid_config.h>
#include <xbt/base.h>

Macros

#define MC_is_active()   0
 
#define MC_visited_reduction()   0
 
#define MC_assert(a)   xbt_assert(a)
 
#define MC_automaton_new_propositional_symbol(a, b)   ((void)0)
 
#define MC_automaton_new_propositional_symbol_pointer(a, b)   ((void)0)
 
#define MC_cut()   ((void)0)
 
#define MC_ignore(a, b)   ((void)0)
 

Functions

int MC_random (int min, int max)
 

Detailed Description

This is the API used by the user simulated program to communicate with the MC.

Macro Definition Documentation

#define MC_is_active ( )    0
#define MC_visited_reduction ( )    0
#define MC_assert (   a)    xbt_assert(a)
#define MC_automaton_new_propositional_symbol (   a,
 
)    ((void)0)
#define MC_automaton_new_propositional_symbol_pointer (   a,
 
)    ((void)0)
#define MC_cut ( )    ((void)0)
#define MC_ignore (   a,
 
)    ((void)0)

Function Documentation

int MC_random ( int  min,
int  max 
)