From 66703f867afd9ee0cd10a03871b141bff743877b Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 27 Feb 2023 16:07:05 +0100
Subject: [PATCH] test: now that by default simu are not bouded, bound the gm
 tests

---
 test/Makefile.inc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/test/Makefile.inc b/test/Makefile.inc
index 80fc2b8f..0924984d 100644
--- a/test/Makefile.inc
+++ b/test/Makefile.inc
@@ -1,4 +1,4 @@
-# Time-stamp: <modified the 29/01/2023 (at 16:21) by Erwan Jahier>
+# Time-stamp: <modified the 27/02/2023 (at 16:05) by Erwan Jahier>
 #
 # Define some default rules that ought to work most of the time
 #
@@ -87,13 +87,13 @@ $(EXPDIR):
 	[ -d $(EXPDIR) ] || (mkdir -p $(EXPDIR) ; make utest)
 
 %.gm_test: %.cmxs $(EXPDIR)
-	sasa  $*.dot -seed 42 > $*.rif && \
+	sasa  $*.dot -seed 42 -l 1000 > $*.rif && \
 	diff -I "# on" -I " version " -B -u -i -w $(EXPDIR)/$*.rif.exp $*.rif > $*.res
 	[ ! -s $*.res ]  && echo "\n\n==> $*.gm_test went fine"
 
 # update the reference
 %.ugm_test: %.cmxs $(EXPDIR)
-	sasa  $*.dot -seed 42 > $*.rif && \
+	sasa  $*.dot -seed 42 -l 1000 > $*.rif && \
 	cp $*.rif $(EXPDIR)/$*.rif.exp
 
 # fix the seed (used, e.g., in Makefile.dot) for the non-regression tests
-- 
GitLab