Skip to content
Snippets Groups Projects
Commit f1cab553 authored by erwan's avatar erwan
Browse files

New: don't stop when no process is enabled

parent ca90a197
No related merge requests found
(* 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 = type t =
| Synchronous (* select all actions *) | Synchronous (* select all actions *)
...@@ -19,7 +19,7 @@ let (random1: 'a list list -> 'a list) = ...@@ -19,7 +19,7 @@ let (random1: 'a list list -> 'a list) =
let rec (random: 'a list list -> 'a list) = let rec (random: 'a list list -> 'a list) =
fun all -> fun all ->
assert (all <> []); (* assert (all <> []); *)
let al = List.map random_list all in let al = List.map random_list all in
let al = List.filter (fun _ -> Random.bool ()) al in let al = List.filter (fun _ -> Random.bool ()) al in
if al = [] then random all else al if al = [] then random all else al
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment