From 0913a43fd4104514c69fde0e129134144a5692bb Mon Sep 17 00:00:00 2001
From: Justin Loew <jloloew@gmail.com>
Date: Sun, 8 Apr 2018 17:15:44 -0500
Subject: [PATCH] Turn down the default initial number of stimuli to 1
---
node-preds.maude | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/node-preds.maude b/node-preds.maude
index 0167031..d9ae0dc 100644
--- a/node-preds.maude
+++ b/node-preds.maude
@@ -11,7 +11,7 @@ omod NODE-SYSTEM{N :: NZNAT#} is
vars N I : Nat .
var ENID : OidSet .
- eq init = initSystemWithStimuli(200) .
+ eq init = initSystemWithStimuli(1) .
ceq initSystemWithStimuli(I) = initSystemHelper([N], I, initOidset([N])) if s(N) := # .
eq initOidset([0]) = mt .
ceq initOidset([s(N)]) = [s(N)] initOidset([N]) if s(N) < # .
--
GitLab