From f1cab5531e95abfda24cdee70816eafa118b12c6 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 1 Apr 2019 15:36:56 +0200
Subject: [PATCH] New: don't stop when no process is enabled
---
lib/sasacore/demon.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/lib/sasacore/demon.ml b/lib/sasacore/demon.ml
index 618a8b07..fdb52fe0 100644
--- a/lib/sasacore/demon.ml
+++ b/lib/sasacore/demon.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 28/03/2019 (at 18:01) by Erwan Jahier> *)
+(* Time-stamp: <modified the 28/03/2019 (at 20:56) by Erwan Jahier> *)
type t =
| Synchronous (* select all actions *)
@@ -19,7 +19,7 @@ let (random1: 'a list list -> 'a list) =
let rec (random: 'a list list -> 'a list) =
fun all ->
- assert (all <> []);
+ (* assert (all <> []); *)
let al = List.map random_list all in
let al = List.filter (fun _ -> Random.bool ()) al in
if al = [] then random all else al
--
GitLab