From ba926589ce3436daa50efc6082d473f39c1499e1 Mon Sep 17 00:00:00 2001 From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr> Date: Thu, 9 Jul 2020 15:14:48 +0200 Subject: [PATCH] Doc: mention the Evil module in the contributors guide --- guides/contributors/README.org | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/guides/contributors/README.org b/guides/contributors/README.org index 71fe2f09..01e96330 100644 --- a/guides/contributors/README.org +++ b/guides/contributors/README.org @@ -72,6 +72,14 @@ by: - [[file:../../lib/sasacore/genLutin.mli][../../lib/sasacore/genLutin.mli]] - [[file:../../lib/sasacore/genLutin.ml ][../../lib/sasacore/genLutin.ml]] +Daemons that take advantage of the potential function to generate +worst case scenarii are defined in the Evil module. + +#+INCLUDE: "../../lib/sasacore/evil.mli" src ocaml +- [[file:../../lib/sasacore/demon.mli][../../lib/sasacore/evil.mli]] +- [[file:../../lib/sasacore/demon.ml][../../lib/sasacore/evil.ml]] + + * Processes #+INCLUDE: "../../lib/sasacore/process.mli" src ocaml @@ -85,7 +93,7 @@ by: * The Main Simulation -It is splitted into 2 modules, so that the sasa rdbg plugin can reuse +It is splited into 2 modules, so that the sasa rdbg plugin can reuse the step functions: 1. [[file:../../lib/sasacore/sasa.ml][../../lib/sasacore/sasa.ml]] 2. [[file:../../src/sasaMain.ml][../../src/sasaMain.ml]] -- GitLab