From c4c4a2cc174b8dae3ec71c4069f0e3393b0bd712 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Sun, 10 Mar 2019 16:26:42 +0100
Subject: [PATCH] bug: demons were not wired correctly
---
bin/sasArg.ml | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/bin/sasArg.ml b/bin/sasArg.ml
index 7856b85f..39e82b76 100644
--- a/bin/sasArg.ml
+++ b/bin/sasArg.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 09/03/2019 (at 14:37) by Erwan Jahier> *)
+(* Time-stamp: <modified the 10/03/2019 (at 14:03) by Erwan Jahier> *)
type t = {
@@ -86,19 +86,19 @@ let (mkoptab : t -> unit) =
["Use a Synchronous deamon"];
mkopt opt ["--central-demon";"-cd"]
- (Arg.Unit(fun () -> args.demon <- Demon.Synchronous))
+ (Arg.Unit(fun () -> args.demon <- Demon.Central))
["Use a Central deamon (selects exactly one action)"];
mkopt opt ["--locally-central-demon";"-lcd"]
- (Arg.Unit(fun () -> args.demon <- Demon.Synchronous))
+ (Arg.Unit(fun () -> args.demon <- Demon.LocallyCentral))
["Use a Locally Central deamon (never activates two neighbor";
"actions in the same step)"];
mkopt opt ["--distributed-demon";"-dd"]
- (Arg.Unit(fun () -> args.demon <- Demon.Synchronous))
+ (Arg.Unit(fun () -> args.demon <- Demon.Distributed))
["Use a Distributed deamon (select at least one action)"];
mkopt opt ["--custom-demon";"-custd"]
- (Arg.Unit(fun () -> args.demon <- Demon.Synchronous))
+ (Arg.Unit(fun () -> args.demon <- Demon.Custom))
["Use a Custom deamon"];
mkopt opt ["--rif";"-rif"]
--
GitLab