test: add golden master tests

test/Makefile.inc

-# Time-stamp: <modified the 27/04/2021 (at 09:37) by Erwan Jahier>
+# Time-stamp: <modified the 01/09/2021 (at 10:26) by Erwan Jahier>
 #
 # Define some default rules that ought to work most of the time
 #
@@ -56,11 +56,28 @@ OCAMLC=ocamlfind ocamlc -bin-annot
 	rdbg -camldebug -sut "sasa $.dot" -l 1000
 
 %.test: %.dot %.cmxs
-	sasa  $< 
+	sasa  $<
+
+############################################################################################
+# Golden master tests
+# compare the generated rif file with a previously generated reference
+EXPDIR=`rdbg --ocaml-version`
+$(EXPDIR):
+	[ -d $(EXPDIR) ] || (mkdir -p $(EXPDIR) ; make utest)
+
+%.gm_test: %.dot %.cmxs $(EXPDIR)
+	sasa  $< -seed 42 > $*.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: %.rif $(EXPDIR)
+	cp $*.rif $(EXPDIR)/$*.rif.exp 
+############################################################################################
+
 
 %.rdbg: %.dot %.ml
 	ledit -h rdbg-history -x rdbg -sut "sasa $< $(DAEMON)" 
 
 %.rdbgui: %.dot %.ml
 	ledit -h rdbg-history -x rdbgui4sasa -sut "sasa $< $(DAEMON)" 
-

test/rsp-tree/4.12.0/grid4.rif.exp

+# Automatically generated by /home/jahier/.opam/4.12.0/bin/sasa version "v4.5.5" ("ac38cbc")
+# on crevetete the 1/9/2021 at 10:24:00
+#sasa grid4.dot -seed 42
+
+#seed 42
+#inputs 
+#outputs "p0_st":string "p0_par":int "p0_d":int "p1_st":string "p1_par":int "p1_d":int "p2_st":string "p2_par":int "p2_d":int "p3_st":string "p3_par":int "p3_d":int "p4_st":string "p4_par":int "p4_d":int "p5_st":string "p5_par":int "p5_d":int "p6_st":string "p6_par":int "p6_d":int "p7_st":string "p7_par":int "p7_d":int "p8_st":string "p8_par":int "p8_d":int "p9_st":string "p9_par":int "p9_d":int "p10_st":string "p10_par":int "p10_d":int "p11_st":string "p11_par":int "p11_d":int "p12_st":string "p12_par":int "p12_d":int "p13_st":string "p13_par":int "p13_d":int "p14_st":string "p14_par":int "p14_d":int "p15_st":string "p15_par":int "p15_d":int "Enab_p0_Rcu":bool "Enab_p0_Rebu":bool "Enab_p0_Refu":bool "Enab_p0_Riu":bool "Enab_p0_Rru":bool "Enab_p1_Rcu":bool "Enab_p1_Rebu":bool "Enab_p1_Refu":bool "Enab_p1_Riu":bool "Enab_p1_Rru":bool "Enab_p2_Rcu":bool "Enab_p2_Rebu":bool "Enab_p2_Refu":bool "Enab_p2_Riu":bool "Enab_p2_Rru":bool "Enab_p3_Rcu":bool "Enab_p3_Rebu":bool "Enab_p3_Refu":bool "Enab_p3_Riu":bool "Enab_p3_Rru":bool "Enab_p4_Rcu":bool "Enab_p4_Rebu":bool "Enab_p4_Refu":bool "Enab_p4_Riu":bool "Enab_p4_Rru":bool "Enab_p5_Rcu":bool "Enab_p5_Rebu":bool "Enab_p5_Refu":bool "Enab_p5_Riu":bool "Enab_p5_Rru":bool "Enab_p6_Rcu":bool "Enab_p6_Rebu":bool "Enab_p6_Refu":bool "Enab_p6_Riu":bool "Enab_p6_Rru":bool "Enab_p7_Rcu":bool "Enab_p7_Rebu":bool "Enab_p7_Refu":bool "Enab_p7_Riu":bool "Enab_p7_Rru":bool "Enab_p8_Rcu":bool "Enab_p8_Rebu":bool "Enab_p8_Refu":bool "Enab_p8_Riu":bool "Enab_p8_Rru":bool "Enab_p9_Rcu":bool "Enab_p9_Rebu":bool "Enab_p9_Refu":bool "Enab_p9_Riu":bool "Enab_p9_Rru":bool "Enab_p10_Rcu":bool "Enab_p10_Rebu":bool "Enab_p10_Refu":bool "Enab_p10_Riu":bool "Enab_p10_Rru":bool "Enab_p11_Rcu":bool "Enab_p11_Rebu":bool "Enab_p11_Refu":bool "Enab_p11_Riu":bool "Enab_p11_Rru":bool "Enab_p12_Rcu":bool "Enab_p12_Rebu":bool "Enab_p12_Refu":bool "Enab_p12_Riu":bool "Enab_p12_Rru":bool "Enab_p13_Rcu":bool "Enab_p13_Rebu":bool "Enab_p13_Refu":bool "Enab_p13_Riu":bool "Enab_p13_Rru":bool "Enab_p14_Rcu":bool "Enab_p14_Rebu":bool "Enab_p14_Refu":bool "Enab_p14_Riu":bool "Enab_p14_Rru":bool "Enab_p15_Rcu":bool "Enab_p15_Rebu":bool "Enab_p15_Refu":bool "Enab_p15_Riu":bool "Enab_p15_Rru":bool "p0_Rcu":bool "p0_Rebu":bool "p0_Refu":bool "p0_Riu":bool "p0_Rru":bool "p1_Rcu":bool "p1_Rebu":bool "p1_Refu":bool "p1_Riu":bool "p1_Rru":bool "p2_Rcu":bool "p2_Rebu":bool "p2_Refu":bool "p2_Riu":bool "p2_Rru":bool "p3_Rcu":bool "p3_Rebu":bool "p3_Refu":bool "p3_Riu":bool "p3_Rru":bool "p4_Rcu":bool "p4_Rebu":bool "p4_Refu":bool "p4_Riu":bool "p4_Rru":bool "p5_Rcu":bool "p5_Rebu":bool "p5_Refu":bool "p5_Riu":bool "p5_Rru":bool "p6_Rcu":bool "p6_Rebu":bool "p6_Refu":bool "p6_Riu":bool "p6_Rru":bool "p7_Rcu":bool "p7_Rebu":bool "p7_Refu":bool "p7_Riu":bool "p7_Rru":bool "p8_Rcu":bool "p8_Rebu":bool "p8_Refu":bool "p8_Riu":bool "p8_Rru":bool "p9_Rcu":bool "p9_Rebu":bool "p9_Refu":bool "p9_Riu":bool "p9_Rru":bool "p10_Rcu":bool "p10_Rebu":bool "p10_Refu":bool "p10_Riu":bool "p10_Rru":bool "p11_Rcu":bool "p11_Rebu":bool "p11_Refu":bool "p11_Riu":bool "p11_Rru":bool "p12_Rcu":bool "p12_Rebu":bool "p12_Refu":bool "p12_Riu":bool "p12_Rru":bool "p13_Rcu":bool "p13_Rebu":bool "p13_Refu":bool "p13_Riu":bool "p13_Rru":bool "p14_Rcu":bool "p14_Rebu":bool "p14_Refu":bool "p14_Riu":bool "p14_Rru":bool "p15_Rcu":bool "p15_Rebu":bool "p15_Refu":bool "p15_Riu":bool "p15_Rru":bool "legitimate":bool 
+
+
+#step 0
+#outs C -1 0 EF 0 0 EF 0 0 EF 1 0 I 0 1 I 0 3 C 2 2 EF 2 2 EB 2 0 C 1 1 EB 0 1 I 2 2 I 1 1 C 1 1 EB 1 2 I 1 0 f f f f f f f f f t f f f f t f f f t f f f f f t f f f f t f t f f f f f f f t f f t f f f t f f f f f t f f f f f f f f f f f t f t f f f f f t f f f f f f f f f f f f f f f f f f f f f t f f f t f f f f f f f f f f f f t f f f f f f f t f f t f f f t f f f f f t f f f f f f f f f f f f f f f f f f f t f f f f f f f f 
+
+#step 1
+#outs C -1 0 EF 0 0 C 0 3 I 1 0 I 0 1 I 0 3 EB 2 2 C 0 3 EF 2 0 EB 1 1 EF 0 1 I 2 2 I 1 1 C 1 1 EF 1 2 I 1 0 f f f f f f f f f t f t f f f f f f f t f f f f t f f f f f f f t f f f t f f f f f f t f f f t f f f f f t f f f f f t f f f f t f t f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f t f f f f t f f f f f f f f f t f f f f f f 
+
+#step 2
+#outs C -1 0 EF 0 0 C 0 3 I 1 0 C 2 1 I 0 3 EB 2 2 C 0 3 I 2 0 EB 1 1 EF 0 1 C 0 2 C 1 2 C 1 1 C 1 2 I 1 0 f f f f f f f f f t f t f f f f f f f t f f f f f f f f f t f f t f f f t f f f f f f f t f f t f f f f f f t f t f f f f f f f f f t f f f f f f f f f f f f t f f f f f f f f f t f t f f f f f f f t f f f f f f f f f t f f f f f f t f f f f f f f f f f f f f f f f f f f t f f f f f f f f f t f f f f f f f f f f f f t f 
+
+#step 3
+#outs C -1 0 C 2 4 EB 0 3 C 1 4 C 2 1 C 2 2 EB 2 2 EB 0 3 I 2 0 EB 1 1 EF 0 1 EB 0 2 C 1 2 EB 1 1 C 1 2 C 1 3 f f f f f t f f f f f f t f f f t f f f f f f f f f f f f f f f t f f f f f f f f f f f t f f t f f f f f f t f f f f f f t f f f f f f f f f t f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f t f f f f f f f f f 
+
+#step 4
+#outs C -1 0 C 2 4 EB 0 3 C 1 4 C 2 1 C 2 2 EF 2 2 EB 0 3 I 2 0 EB 1 1 C 2 2 EB 0 2 C 1 2 EB 1 1 EB 1 2 C 1 3 f f f f f t f f f f f f t f f f t f f f f f f f f f f f f f f f f f t f f f f f f f f f t f f t f f f t f f f f f f f f f t f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 
+
+#step 5
+#outs C -1 0 C 2 4 EF 0 3 C 1 4 C 2 1 C 2 2 EF 2 2 EB 0 3 C 1 3 EB 1 1 C 2 2 EB 0 2 C 1 2 EB 1 1 EB 1 2 C 1 3 f f f f f t f f f f f f f f f f t f f f f f f f f f f f f f f f f f t f f f f f t f f f f f f t f f f t f f f f f f f f f t f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t f f f t f f f f f f f f f t f f f f f f f f f f f f f f t f f f f 
+
+#step 6
+#outs C -1 0 C 2 4 EF 0 3 C 1 4 C 2 1 C 2 2 EF 2 2 EB 0 3 C 1 3 EF 1 1 EB 2 2 EB 0 2 EB 1 2 EB 1 1 EB 1 2 EB 1 3 f f f f f t f f f f f f f f f f t f f f f f f f f f f f f f f f f f t f f f f f t f f f f f f f f t f f t f f f f f f f f f t f f f f f f f f f f f f f f t f f f f f f f t f f f f f f f f f f t f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f t f f t f f f f f f f f f t f f f f f f f f f f f f f f t f f f 
+
+#step 7
+#outs C -1 0 C 2 1 EF 0 3 EB 1 4 C 2 1 C 2 2 C 1 4 EB 0 3 C 1 3 C 1 3 EF 2 2 EB 0 2 EF 1 2 EB 1 1 EB 1 2 EF 1 3 f f f f f f f f f f f f f f t f f t f f f f f f f f f f f f t f f f f f f f f f t f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f t f f t f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f t f f f f f f f f 
+
+#step 8
+#outs C -1 0 C 2 1 C 2 5 EF 1 4 C 2 1 C 2 2 C 1 4 EB 0 3 C 1 2 C 1 3 C 0 3 EB 0 2 EF 1 2 EB 1 1 EF 1 2 EF 1 3 f f f f f f f f f f t f f f f f f f f t f f f f f f f f f f t f f f f f f t f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f t f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 
+
+#step 9
+#outs C -1 0 C 2 1 C 2 2 C 1 6 C 2 1 C 2 2 C 1 4 EF 0 3 C 1 2 C 1 3 C 0 3 EB 0 2 EF 1 2 EB 1 1 EF 1 2 EF 1 3 f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f t f f f f f f f f t f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 
+
+#step 10
+#outs C -1 0 C 2 1 C 2 2 C 1 6 C 2 1 C 2 2 C 2 3 EF 0 3 C 1 2 C 1 3 EB 0 3 EB 0 2 EF 1 2 EB 1 1 EF 1 2 EF 1 3 f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f f f f 
+
+#step 11
+#outs C -1 0 C 2 1 C 2 2 C 1 6 C 2 1 C 2 2 C 2 3 EF 0 3 C 1 2 C 1 3 EF 0 3 EB 0 2 EF 1 2 EB 1 1 EF 1 2 EF 1 3 f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f t f f t f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 
+
+#step 12
+#outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 2 2 C 2 3 C 0 4 C 1 2 C 1 3 EF 0 3 EB 0 2 EF 1 2 EB 1 1 EF 1 2 EF 1 3 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f f 
+
+#step 13
+#outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 2 2 C 2 3 C 0 4 C 1 2 C 1 3 C 1 4 EB 0 2 EF 1 2 EB 1 1 EF 1 2 EF 1 3 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f f f f f f f t 
+
+This algo is silent after 51 moves, 13 steps, 7 rounds.
+
+q
+#quit
+%!
\ No newline at end of file

test/rsp-tree/Makefile

-# Time-stamp: <modified the 04/11/2020 (at 08:43) by Erwan Jahier>
+# Time-stamp: <modified the 01/09/2021 (at 10:29) by Erwan Jahier>
 
 
-test: grid4.test er30.test udg100.test ba100.test
+test: grid4.gm_test er30.gm_test udg100.gm_test ba100.gm_test
 
 DECO_PATTERN="0:root.ml 1-:p.ml" 
 -include ../Makefile.dot
 
+
 rdbg: er100.rdbg
 
 %.lurette: %.dot %.cmxs %_oracle.lus rsp_tree_oracle.lus
@@ -18,4 +19,3 @@ rdbg: er100.rdbg
 clean: genclean cleandot
 
 -include ../Makefile.inc
-