SimGrid  3.12
Versatile Simulation of Distributed Systems
modelchecker.h File Reference
#include <stdbool.h>
#include <simgrid_config.h>
#include <xbt.h>
#include "xbt/automaton.h"

Detailed Description

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