diff --git a/test/Makefile.inc b/test/Makefile.inc index 80fc2b8fccf2136459d6a081457997e30253180f..0924984dc3f27522d820c9bdb873260c9f512c26 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