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

test: the non reg tests were not robust to the move to a new compiler (4.13.1)

parent 76c21c6e
No related branches found
No related tags found
No related merge requests found
Pipeline #76903 failed
Stage: build
    Stage: release
      Stage: deploy
        Expand all Hide whitespace changes
        Inline Side-by-side
        Showing
        with 604 additions and 10 deletions
        test/Makefile.inc
        + 3
        − 2
        View file @ ce0b8c6b
        # Time-stamp: <modified the 02/09/2021 (at 10:34) by Erwan Jahier> # Time-stamp: <modified the 06/10/2021 (at 16:50) by Erwan Jahier>
        # #
        # Define some default rules that ought to work most of the time # Define some default rules that ought to work most of the time
        # #
        ...@@ -71,7 +71,8 @@ $(EXPDIR): ...@@ -71,7 +71,8 @@ $(EXPDIR):
        [ ! -s $*.res ] && echo "\n\n==> $*.gm_test went fine" [ ! -s $*.res ] && echo "\n\n==> $*.gm_test went fine"
        # update the reference # update the reference
        %.ugm_test: %.rif $(EXPDIR) %.ugm_test: %.dot %.cmxs $(EXPDIR)
        sasa $< -seed 42 > $*.rif && \
        cp $*.rif $(EXPDIR)/$*.rif.exp cp $*.rif $(EXPDIR)/$*.rif.exp
        # fix the seed (in Makefile.dot) for the non-regression tests # fix the seed (in Makefile.dot) for the non-regression tests
        ......
        test/dfs-list/4.13.1/g.rif.exp 0 → 100644
        + 92
        − 0
        View file @ ce0b8c6b
        # Automatically generated by /home/jahier/.opam/4.13.1/bin/sasa version "v4.5.6" ("76c21c6")
        # on crevetete the 6/10/2021 at 16:51:17
        #sasa g.dot -seed 42
        #seed 42
        #inputs
        #outputs "p1_path0":int "p1_path1":int "p1_path2":int "p1_path3":int "p1_path4":int "p1_path5":int "p1_path6":int "p1_path7":int "p1_path8":int "p1_path9":int "p1_par":int "p2_path0":int "p2_path1":int "p2_path2":int "p2_path3":int "p2_path4":int "p2_path5":int "p2_path6":int "p2_path7":int "p2_path8":int "p2_path9":int "p2_par":int "p3_path0":int "p3_path1":int "p3_path2":int "p3_path3":int "p3_path4":int "p3_path5":int "p3_path6":int "p3_path7":int "p3_path8":int "p3_path9":int "p3_par":int "p4_path0":int "p4_path1":int "p4_path2":int "p4_path3":int "p4_path4":int "p4_path5":int "p4_path6":int "p4_path7":int "p4_path8":int "p4_path9":int "p4_par":int "p5_path0":int "p5_path1":int "p5_path2":int "p5_path3":int "p5_path4":int "p5_path5":int "p5_path6":int "p5_path7":int "p5_path8":int "p5_path9":int "p5_par":int "p6_path0":int "p6_path1":int "p6_path2":int "p6_path3":int "p6_path4":int "p6_path5":int "p6_path6":int "p6_path7":int "p6_path8":int "p6_path9":int "p6_par":int "p7_path0":int "p7_path1":int "p7_path2":int "p7_path3":int "p7_path4":int "p7_path5":int "p7_path6":int "p7_path7":int "p7_path8":int "p7_path9":int "p7_par":int "p8_path0":int "p8_path1":int "p8_path2":int "p8_path3":int "p8_path4":int "p8_path5":int "p8_path6":int "p8_path7":int "p8_path8":int "p8_path9":int "p8_par":int "p9_path0":int "p9_path1":int "p9_path2":int "p9_path3":int "p9_path4":int "p9_path5":int "p9_path6":int "p9_path7":int "p9_path8":int "p9_path9":int "p9_par":int "p10_path0":int "p10_path1":int "p10_path2":int "p10_path3":int "p10_path4":int "p10_path5":int "p10_path6":int "p10_path7":int "p10_path8":int "p10_path9":int "p10_par":int "Enab_p1_update_path":bool "Enab_p1_compute_parent":bool "Enab_p2_update_path":bool "Enab_p2_compute_parent":bool "Enab_p3_update_path":bool "Enab_p3_compute_parent":bool "Enab_p4_update_path":bool "Enab_p4_compute_parent":bool "Enab_p5_update_path":bool "Enab_p5_compute_parent":bool "Enab_p6_update_path":bool "Enab_p6_compute_parent":bool "Enab_p7_update_path":bool "Enab_p7_compute_parent":bool "Enab_p8_update_path":bool "Enab_p8_compute_parent":bool "Enab_p9_update_path":bool "Enab_p9_compute_parent":bool "Enab_p10_update_path":bool "Enab_p10_compute_parent":bool "p1_update_path":bool "p1_compute_parent":bool "p2_update_path":bool "p2_compute_parent":bool "p3_update_path":bool "p3_compute_parent":bool "p4_update_path":bool "p4_compute_parent":bool "p5_update_path":bool "p5_compute_parent":bool "p6_update_path":bool "p6_compute_parent":bool "p7_update_path":bool "p7_compute_parent":bool "p8_update_path":bool "p8_compute_parent":bool "p9_update_path":bool "p9_compute_parent":bool "p10_update_path":bool "p10_compute_parent":bool "legitimate":bool
        #step 0
        #outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f t f t f t f t f t 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 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f t f f t t f t f t f f f f f f f f f t f t f f t t f f f t f f
        #step 2
        #outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f f t f t t f f f t f f f f f f f f f f f f t f t f f f f f f f f f
        #step 3
        #outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f f f f f t f f f t f f f t f t f f f t f f f f f t f f f f f f f f
        #step 4
        #outs -1 3 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f f f t f f f f t t f t f f f t f t f f f f f f f f f f f f f f f f f f
        #step 5
        #outs -1 0 3 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 t f f t f f t f t f f f f t t f t f f f f f f f f f t f f f f f f f t f t f f f f
        #step 6
        #outs -1 0 3 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 0 -1 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 t f f t f f f t t f f f f t f f f t t f f f f t f f f f t f f f f t f f f f f f f
        #step 7
        #outs -1 0 3 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 0 -1 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f f f f f f f f f f t t f t f f f f f f f f f f f f f f f f f t f f
        #step 8
        #outs -1 0 0 3 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 0 -1 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 f f t f f f t f f f f f f f f f t f f t f f t f f f f f f f f f f f f f f f f t f
        #step 9
        #outs -1 0 0 3 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 0 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 0 -1 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t 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 f f f f f f f f f f t f f f f
        #step 10
        #outs -1 0 0 3 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 0 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f f f f f t f t f f f f f t f f t f f f f f f f f f f t f f f f f f f f t f f f
        #step 11
        #outs -1 0 0 3 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 0 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 0 0 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f t f f f t f f f f f f f t f f f f f t f f f f f t f f f f f f f f f f f f f f
        #step 12
        #outs -1 0 0 0 0 3 -1 -1 -1 -1 0 -1 0 0 0 0 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 1 -1 -1 -1 0 -1 0 0 0 0 0 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 f f t 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 f t f f f f f f
        #step 13
        #outs -1 0 0 0 0 3 -1 -1 -1 -1 0 -1 0 0 0 0 0 0 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 1 -1 -1 -1 0 -1 0 0 0 0 0 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f f f f f t f t 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
        #step 14
        #outs -1 0 0 0 0 3 -1 -1 -1 -1 0 -1 0 0 0 0 0 0 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 0 1 -1 -1 0 -1 0 0 0 0 0 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f f f f f f t t f f f t f f f f f f f t f f f f f f t t f f f f f f f f f f f f
        #step 15
        #outs -1 0 0 0 0 0 0 3 -1 -1 0 -1 0 0 0 0 0 0 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 0 1 -1 -1 1 -1 0 0 0 0 0 0 0 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 f f t f f f t 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 t f f f f f f f f
        #step 16
        #outs -1 0 0 0 0 0 0 3 -1 -1 0 -1 0 0 0 0 0 0 0 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 0 1 -1 -1 1 -1 0 0 0 0 0 0 0 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 1 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f f f f f t f t f f f f t f f f f f f t f f f f f t f t f f f f t f f f f f f f
        #step 17
        #outs -1 0 0 0 0 0 0 0 0 3 0 -1 0 0 0 0 0 0 0 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 0 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 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 f f f f f f f f f
        #step 18
        #outs -1 0 0 0 0 0 0 0 0 3 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 0 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f f t f f t f t f f f f f f f f f f f t f f t f f f f t f f f f f f f f f f f f
        #step 19
        #outs -1 2 3 -1 -1 -1 -1 -1 -1 -1 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 0 0 0 1 1 -1 2 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 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 f f f f f
        #step 20
        #outs -1 2 3 -1 -1 -1 -1 -1 -1 -1 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 2 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 f f t f f f f t 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 f f f
        #step 21
        #outs -1 2 3 -1 -1 -1 -1 -1 -1 -1 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 f f t f f f f t f t f f 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
        #step 22
        #outs -1 2 3 -1 -1 -1 -1 -1 -1 -1 0 -1 1 0 0 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f f t 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 f f f f
        #step 23
        #outs -1 2 3 -1 -1 -1 -1 -1 -1 -1 0 -1 1 0 0 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 1 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t 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 f f f f f f f f
        #step 24
        #outs -1 2 3 -1 -1 -1 -1 -1 -1 -1 0 -1 1 0 0 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 1 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 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 f f f f f f f f f f f
        #step 25
        #outs -1 1 0 0 3 -1 -1 -1 -1 -1 0 -1 1 0 0 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 1 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 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 t
        This algo is silent after 52 moves, 25 steps, 14 rounds.
        q
        #quit
        %!
        \ No newline at end of file
        test/dfs/4.13.1/g.rif.exp 0 → 100644
        + 23
        − 0
        View file @ ce0b8c6b
        #inputs
        #outputs "p1_path0":int "p1_path1":int "p1_path2":int "p1_path3":int "p1_path4":int "p1_path5":int "p1_path6":int "p1_path7":int "p1_path8":int "p1_path9":int "p1_par":int "p2_path0":int "p2_path1":int "p2_path2":int "p2_path3":int "p2_path4":int "p2_path5":int "p2_path6":int "p2_path7":int "p2_path8":int "p2_path9":int "p2_par":int "p3_path0":int "p3_path1":int "p3_path2":int "p3_path3":int "p3_path4":int "p3_path5":int "p3_path6":int "p3_path7":int "p3_path8":int "p3_path9":int "p3_par":int "p4_path0":int "p4_path1":int "p4_path2":int "p4_path3":int "p4_path4":int "p4_path5":int "p4_path6":int "p4_path7":int "p4_path8":int "p4_path9":int "p4_par":int "p5_path0":int "p5_path1":int "p5_path2":int "p5_path3":int "p5_path4":int "p5_path5":int "p5_path6":int "p5_path7":int "p5_path8":int "p5_path9":int "p5_par":int "p6_path0":int "p6_path1":int "p6_path2":int "p6_path3":int "p6_path4":int "p6_path5":int "p6_path6":int "p6_path7":int "p6_path8":int "p6_path9":int "p6_par":int "p7_path0":int "p7_path1":int "p7_path2":int "p7_path3":int "p7_path4":int "p7_path5":int "p7_path6":int "p7_path7":int "p7_path8":int "p7_path9":int "p7_par":int "p8_path0":int "p8_path1":int "p8_path2":int "p8_path3":int "p8_path4":int "p8_path5":int "p8_path6":int "p8_path7":int "p8_path8":int "p8_path9":int "p8_par":int "p9_path0":int "p9_path1":int "p9_path2":int "p9_path3":int "p9_path4":int "p9_path5":int "p9_path6":int "p9_path7":int "p9_path8":int "p9_path9":int "p9_par":int "p10_path0":int "p10_path1":int "p10_path2":int "p10_path3":int "p10_path4":int "p10_path5":int "p10_path6":int "p10_path7":int "p10_path8":int "p10_path9":int "p10_par":int "Enab_p1_update_path":bool "Enab_p1_compute_parent":bool "Enab_p2_update_path":bool "Enab_p2_compute_parent":bool "Enab_p3_update_path":bool "Enab_p3_compute_parent":bool "Enab_p4_update_path":bool "Enab_p4_compute_parent":bool "Enab_p5_update_path":bool "Enab_p5_compute_parent":bool "Enab_p6_update_path":bool "Enab_p6_compute_parent":bool "Enab_p7_update_path":bool "Enab_p7_compute_parent":bool "Enab_p8_update_path":bool "Enab_p8_compute_parent":bool "Enab_p9_update_path":bool "Enab_p9_compute_parent":bool "Enab_p10_update_path":bool "Enab_p10_compute_parent":bool "p1_update_path":bool "p1_compute_parent":bool "p2_update_path":bool "p2_compute_parent":bool "p3_update_path":bool "p3_compute_parent":bool "p4_update_path":bool "p4_compute_parent":bool "p5_update_path":bool "p5_compute_parent":bool "p6_update_path":bool "p6_compute_parent":bool "p7_update_path":bool "p7_compute_parent":bool "p8_update_path":bool "p8_compute_parent":bool "p9_update_path":bool "p9_compute_parent":bool "p10_update_path":bool "p10_compute_parent":bool "legitimate":bool
        -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f t f t f t f t f t f t f t f f f t f t f t f t f t f t f t f f
        -1 3 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f f t t f t f t f t f t f t f f f t f t f f t t f t f t f t f f
        -1 0 3 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f f f f f t f t f f t t f t f f f t f t f f f f f t f t f f t f
        -1 0 0 3 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f t f f f t f t f f f t f t f f t f f t f t f f f t f t f f f t f t f f t f f f
        -1 0 0 0 3 -1 -1 -1 -1 -1 0 -1 0 0 0 0 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 1 -1 -1 -1 -1 -1 0 -1 0 0 0 0 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 -1 -1 -1 -1 -1 1 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f t f f f t f t f f f t f f f f f f f t f t f f f t f t f f f t f f f f f f f f
        -1 0 0 0 0 3 -1 -1 -1 -1 0 -1 0 0 0 0 0 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 1 -1 -1 -1 -1 0 -1 0 0 0 0 0 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 1 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f t f f f t f t f f f f t f f f f f f t f t f f f t f t f f f f t f f f f f f f
        -1 0 0 0 0 0 3 -1 -1 -1 0 -1 0 0 0 0 0 0 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 1 -1 -1 -1 0 -1 0 0 0 0 0 0 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f t f f f t f t f f f f f f f f f f f t f t f f f t f t f f f f f f f f f f f f
        -1 0 0 0 0 0 0 3 -1 -1 0 -1 0 0 0 0 0 0 0 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 0 1 -1 -1 0 -1 0 0 0 0 0 0 0 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f t f f f t f t f f f f f f f f f f f t f t f f f t f t f f f f f f f f f f f f
        -1 0 0 0 0 0 0 0 3 -1 0 -1 0 0 0 0 0 0 0 0 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 0 0 1 -1 0 -1 0 0 0 0 0 0 0 0 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f t f f f t f t f f f f f f f f f f f t f t f f f t f t f f f f f f f f f f f f
        -1 0 0 0 0 0 0 0 0 3 0 -1 0 0 0 0 0 0 0 0 0 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f t f f f t f t f f f f f f f f f f f t f t f f f t f t f f f f f f f f f f f f
        0 0 0 0 0 0 0 0 0 3 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f t f f f f t t f f f f f f f f f f f t f t f f f f t t f f f f f f f f f f f f
        -1 2 3 -1 -1 -1 -1 -1 -1 -1 0 -1 1 1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 1 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f t f f f f f f f f f f f f f f f f f t f t f f f f f f f f f f f f f f f f f f
        -1 1 1 3 -1 -1 -1 -1 -1 -1 0 -1 1 0 0 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 1 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f f t 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
        -1 1 0 0 3 -1 -1 -1 -1 -1 0 -1 1 0 0 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 1 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 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 t
        #This algo is silent after 66 moves, 13 steps, 14 rounds.
        q
        #quit
        %!
        \ No newline at end of file
        test/dfs/4.13.1/test1.rif.exp 0 → 100644
        + 45
        − 0
        View file @ ce0b8c6b
        # env: sasa -seed 42 g.dot -custd -rif -rif
        #inputs "p1_path0":int "p1_path1":int "p1_path2":int "p1_path3":int "p1_path4":int "p1_path5":int "p1_path6":int "p1_path7":int "p1_path8":int "p1_path9":int "p1_par":int "p2_path0":int "p2_path1":int "p2_path2":int "p2_path3":int "p2_path4":int "p2_path5":int "p2_path6":int "p2_path7":int "p2_path8":int "p2_path9":int "p2_par":int "p3_path0":int "p3_path1":int "p3_path2":int "p3_path3":int "p3_path4":int "p3_path5":int "p3_path6":int "p3_path7":int "p3_path8":int "p3_path9":int "p3_par":int "p4_path0":int "p4_path1":int "p4_path2":int "p4_path3":int "p4_path4":int "p4_path5":int "p4_path6":int "p4_path7":int "p4_path8":int "p4_path9":int "p4_par":int "p5_path0":int "p5_path1":int "p5_path2":int "p5_path3":int "p5_path4":int "p5_path5":int "p5_path6":int "p5_path7":int "p5_path8":int "p5_path9":int "p5_par":int "p6_path0":int "p6_path1":int "p6_path2":int "p6_path3":int "p6_path4":int "p6_path5":int "p6_path6":int "p6_path7":int "p6_path8":int "p6_path9":int "p6_par":int "p7_path0":int "p7_path1":int "p7_path2":int "p7_path3":int "p7_path4":int "p7_path5":int "p7_path6":int "p7_path7":int "p7_path8":int "p7_path9":int "p7_par":int "p8_path0":int "p8_path1":int "p8_path2":int "p8_path3":int "p8_path4":int "p8_path5":int "p8_path6":int "p8_path7":int "p8_path8":int "p8_path9":int "p8_par":int "p9_path0":int "p9_path1":int "p9_path2":int "p9_path3":int "p9_path4":int "p9_path5":int "p9_path6":int "p9_path7":int "p9_path8":int "p9_path9":int "p9_par":int "p10_path0":int "p10_path1":int "p10_path2":int "p10_path3":int "p10_path4":int "p10_path5":int "p10_path6":int "p10_path7":int "p10_path8":int "p10_path9":int "p10_par":int "Enab_p1_update_path":bool "Enab_p1_compute_parent":bool "Enab_p2_update_path":bool "Enab_p2_compute_parent":bool "Enab_p3_update_path":bool "Enab_p3_compute_parent":bool "Enab_p4_update_path":bool "Enab_p4_compute_parent":bool "Enab_p5_update_path":bool "Enab_p5_compute_parent":bool "Enab_p6_update_path":bool "Enab_p6_compute_parent":bool "Enab_p7_update_path":bool "Enab_p7_compute_parent":bool "Enab_p8_update_path":bool "Enab_p8_compute_parent":bool "Enab_p9_update_path":bool "Enab_p9_compute_parent":bool "Enab_p10_update_path":bool "Enab_p10_compute_parent":bool "legitimate":bool
        #outputs "p1_update_path":bool "p1_compute_parent":bool "p2_update_path":bool "p2_compute_parent":bool "p3_update_path":bool "p3_compute_parent":bool "p4_update_path":bool "p4_compute_parent":bool "p5_update_path":bool "p5_compute_parent":bool "p6_update_path":bool "p6_compute_parent":bool "p7_update_path":bool "p7_compute_parent":bool "p8_update_path":bool "p8_compute_parent":bool "p9_update_path":bool "p9_compute_parent":bool "p10_update_path":bool "p10_compute_parent":bool
        #step 1
        -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f t f t f t f t f t f f #outs f f f f f f f f f f f f t f f f t f t f
        #step 2
        -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f t f f t t f f f f t f #outs t f t f f f t f t f t f f f t f f f f f
        #step 3
        -1 3 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f f t t f f f t f t f f #outs t f t f f f f f f f f t t f f f t f t f
        #step 4
        -1 0 3 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 t f f t f f t f t f f f f f t f t f f t f #outs f f f t f f t f f f f f f f f f t f f f
        #step 5
        -1 0 3 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 t f f f f f f t t f f f f f t f f t f t f #outs t f f f f f f f t f f f f f f f f t f f
        #step 6
        -1 0 0 3 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 f f t f f f t f f t f f f f t f f f f t f #outs f f t f f f f f f f f f f f t f f f f t
        #step 7
        -1 0 0 3 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 0 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f f f f f t f t f f f t f f f f f f f f #outs f f f f f f t f f f f f t f f f f f f f
        #step 8
        -1 0 0 3 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 0 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 1 -1 -1 -1 -1 0 -1 0 0 0 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 1 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f f f f f f t t f f f f t f f f f f f f #outs t f f f f f f f t f f f f t f f f f f f
        #step 9
        -1 0 0 0 0 3 -1 -1 -1 -1 0 -1 0 0 0 0 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 1 -1 -1 -1 -1 0 -1 0 0 0 0 0 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 f f t f f f t f f t f f f f f f f f f f f #outs f f f f f f t f f t f f f f f f f f f f
        #step 10
        -1 0 0 0 0 3 -1 -1 -1 -1 0 -1 0 0 0 0 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 1 -1 -1 -1 0 -1 0 0 0 0 0 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 f f t f f f f f f f f f f f f f f f f f f #outs f f t f f f f f f f f f f f f f f f f f
        #step 11
        -1 0 0 0 0 3 -1 -1 -1 -1 0 -1 0 0 0 0 0 0 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 1 -1 -1 -1 0 -1 0 0 0 0 0 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f f f f f t f t f f f f f f f f f f f f #outs t f f f f f t f t f f f f f f f f f f f
        #step 12
        -1 0 0 0 0 0 0 3 -1 -1 0 -1 0 0 0 0 0 0 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 0 1 -1 -1 0 -1 0 0 0 0 0 0 0 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 f f t f f f t f f f f f f f f f f f f f f #outs f f f f f f t f f f f f f f f f f f f f
        #step 13
        -1 0 0 0 0 0 0 3 -1 -1 0 -1 0 0 0 0 0 0 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 0 0 1 -1 0 -1 0 0 0 0 0 0 0 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 f f t f f f f f f f f f f f f f f f f f f #outs f f t f f f f f f f f f f f f f f f f f
        #step 14
        -1 0 0 0 0 0 0 3 -1 -1 0 -1 0 0 0 0 0 0 0 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 0 0 1 -1 0 -1 0 0 0 0 0 0 0 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f f f f f t f t f f f f f f f f f f f f #outs t f f f f f t f t f f f f f f f f f f f
        #step 15
        -1 0 0 0 0 0 0 0 0 3 0 -1 0 0 0 0 0 0 0 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 f f t f f f f t f f f f f f f f f f f f f #outs f f t f f f f t f f f f f f f f f f f f
        #step 16
        -1 0 0 0 0 0 0 0 0 3 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 0 0 0 0 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f f t f f t f t f f f f f f f f f f f f #outs t f f f f f t f f f f f f f f f f f f f
        #step 17
        -1 2 3 -1 -1 -1 -1 -1 -1 -1 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 0 0 0 0 0 0 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 f f t f f f f t t f f f f f f f f f f f f #outs f f t f f f f f t f f f f f f f f f f f
        #step 18
        -1 2 3 -1 -1 -1 -1 -1 -1 -1 0 -1 1 1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f t f f f f t f t f f f f f f f f f f f #outs t f f f f f f t f t f f f f f f f f f f
        #step 19
        -1 1 1 3 -1 -1 -1 -1 -1 -1 0 -1 1 1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 1 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 f f t f f f f f f f f f f f f f f f f f f #outs f f t f f f f f f f f f f f f f f f f f
        #step 20
        -1 1 1 3 -1 -1 -1 -1 -1 -1 0 -1 1 0 0 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 1 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 t f f f f f f f f f f f f f f f f f f f f #outs t f f f f f f f f f f f f f f f f f f f
        #step 21
        -1 1 0 0 3 -1 -1 -1 -1 -1 0 -1 1 0 0 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 1 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 0 0 1 1 1 -1 -1 -1 -1 0 -1 0 0 1 1 -1 -1 -1 -1 -1 0 -1 0 0 1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f f f f f f f f t #outs f f f f f f f f f f f f f f f f f f f f
        test/dfs/Makefile
        + 5
        − 3
        View file @ ce0b8c6b
        # Time-stamp: <modified the 27/08/2021 (at 17:14) by Erwan Jahier> # Time-stamp: <modified the 06/10/2021 (at 16:55) by Erwan Jahier>
        test: test0 test1 rdbg_test test: test0 test1 rdbg_test
        ...@@ -8,8 +8,10 @@ EXPDIR=`rdbg --ocaml-version` ...@@ -8,8 +8,10 @@ EXPDIR=`rdbg --ocaml-version`
        $(EXPDIR): $(EXPDIR):
        [ -d $(EXPDIR) ] || (mkdir -p $(EXPDIR) ; make utest) [ -d $(EXPDIR) ] || (mkdir -p $(EXPDIR) ; make utest)
        test0: g.cmxs g.lut $(EXPDIR) g.rif: g.cmxs
        sasa -seed 42 -rif -l 200 g.dot -sd -seed 42 > g.rif && \ sasa -seed 42 -rif -l 200 g.dot -sd > g.rif
        test0: g.rif g.lut $(EXPDIR)
        diff -I "# on" -I " version " -B -u -i -w $(EXPDIR)/g.rif.exp g.rif > test0.res diff -I "# on" -I " version " -B -u -i -w $(EXPDIR)/g.rif.exp g.rif > test0.res
        [ ! -s test0.res ] && echo "\n\n==> test0 went fine" [ ! -s test0.res ] && echo "\n\n==> test0 went fine"
        ......
        test/rsp-tree/4.13.1/ba100.rif.exp 0 → 100644
        + 128
        − 0
        View file @ ce0b8c6b
        This diff is collapsed.
        test/rsp-tree/4.13.1/er30.rif.exp 0 → 100644
        + 89
        − 0
        View file @ ce0b8c6b
        This diff is collapsed.
        test/rsp-tree/4.13.1/grid4.rif.exp 0 → 100644
        + 107
        − 0
        View file @ ce0b8c6b
        # Automatically generated by /home/jahier/.opam/4.13.1/bin/sasa version "v4.5.6" ("76c21c6")
        # on crevetete the 6/10/2021 at 16:58:54
        #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 f 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 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 f f f t 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 I 0 1 I 0 3 EB 2 2 EB 0 3 EF 2 0 EB 1 1 I 0 1 I 2 2 I 1 1 EB 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 t f f f f f f f f f f f f t f f f f f t 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 t 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 f 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 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 f f f f f t f
        #step 3
        #outs C -1 0 C 2 4 EB 0 3 I 1 0 I 0 1 I 0 3 EB 2 2 EF 0 3 I 2 0 EF 1 1 C 2 2 I 2 2 I 1 1 EB 1 1 C 1 2 C 0 3 f f f f f t f f f f f f t 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 f 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 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 t f f f f f f f f f f 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 f f f f f f f f f f f f
        #step 4
        #outs C -1 0 C 2 1 EB 0 3 I 1 0 I 0 1 C 3 2 EB 2 2 EF 0 3 I 2 0 C 3 4 EB 2 2 C 2 3 I 1 1 EB 1 1 C 1 2 C 0 3 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 f f f f f f f f f f f f f f f f f t 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 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 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 t f f f f f f f f f
        #step 5
        #outs C -1 0 C 2 1 EF 0 3 I 1 0 I 0 1 C 3 2 EB 2 2 EF 0 3 C 0 2 C 3 4 EB 2 2 C 2 3 I 1 1 EB 1 1 EB 1 2 C 0 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 t f f f f f f f t f f f f f f f f t f f f t 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 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 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
        #step 6
        #outs C -1 0 C 2 1 EF 0 3 I 1 0 I 0 1 C 3 2 EF 2 2 EF 0 3 C 0 2 C 3 4 EB 2 2 EB 2 3 I 1 1 EB 1 1 EB 1 2 C 0 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 t f f f f 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 t 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 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
        #step 7
        #outs C -1 0 C 2 1 EF 0 3 I 1 0 I 0 1 C 3 2 EF 2 2 EF 0 3 EB 0 2 C 3 4 EB 2 2 EB 2 3 I 1 1 EB 1 1 EB 1 2 C 0 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 t f f f f f f f f f t f f f f f f f t 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 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 t f 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 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
        #step 8
        #outs C -1 0 C 2 1 EF 0 3 I 1 0 C 2 3 C 3 2 C 1 4 EF 0 3 EB 0 2 C 1 3 EB 2 2 EB 2 3 I 1 1 EB 1 1 EB 1 2 EB 0 3 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 f t 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 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 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 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
        #step 9
        #outs C -1 0 C 2 1 C 2 5 I 1 0 C 2 3 C 3 2 C 1 3 EF 0 3 EF 0 2 C 1 3 EB 2 2 EF 2 3 I 1 1 EB 1 1 EB 1 2 EB 0 3 f f f f f f f f f f t f f f f f f f f t t f f f 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 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 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 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
        #step 10
        #outs C -1 0 C 2 1 C 2 5 I 1 0 C 2 3 C 3 2 C 1 3 EF 0 3 C 1 4 C 1 3 EF 2 2 EF 2 3 I 1 1 EB 1 1 EB 1 2 EB 0 3 f f f f f f f f f f t f f f f f f f f t 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 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 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 f f f f f f f f f f f f f f f f f f f f f f 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 I 1 0 C 2 1 C 3 2 C 1 3 EF 0 3 C 1 4 C 1 3 EF 2 2 EF 2 3 I 1 1 EB 1 1 EB 1 2 EB 0 3 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 t t 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 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 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 t f f f
        #step 12
        #outs C -1 0 C 2 1 C 2 2 I 1 0 C 2 1 C 3 2 C 1 3 EF 0 3 C 1 4 C 1 3 EF 2 2 EF 2 3 C 0 2 EB 1 1 EB 1 2 EF 0 3 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 t t f f f 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 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 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 t 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
        #step 13
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 EF 0 3 C 1 2 C 1 3 C 1 3 EF 2 3 EB 0 2 EB 1 1 EF 1 2 EF 0 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 t 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 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 t f f f f f f f f f f f f f f f f f f
        #step 14
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 EF 0 3 C 1 2 C 1 3 C 1 3 EF 2 3 EF 0 2 EB 1 1 EF 1 2 EF 0 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 t f f f f f f f f f f f t f f f f f f f t 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 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 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
        #step 15
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 EB 1 3 C 2 4 EF 0 2 EB 1 1 EF 1 2 EF 0 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 t 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 f f f f f f f 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 t f f f f f f f f f f f f f f f f
        #step 16
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 EB 1 3 EB 2 4 C 0 3 EB 1 1 EF 1 2 EF 0 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 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 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 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
        #step 17
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 EB 1 3 EF 2 4 C 0 3 EB 1 1 EF 1 2 EF 0 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 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 f f f f f 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
        #step 18
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 EB 1 3 EF 2 4 C 0 3 EF 1 1 EF 1 2 EF 0 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 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 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 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 19
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 EF 1 3 EF 2 4 C 0 3 EF 1 1 EF 1 2 EF 0 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 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 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 20
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 EF 2 4 C 0 3 EF 1 1 EF 1 2 EF 0 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 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 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 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
        #step 21
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 EF 1 1 EF 1 2 EF 0 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 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
        #step 22
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 C 2 3 EF 1 2 EF 0 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 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 f f f f f f f f f f f f f f f f f f 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
        #step 23
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 EB 2 3 EF 1 2 EF 0 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 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 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 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 t f f f f f f
        #step 24
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 EF 2 3 C 2 4 EF 0 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 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 f f f f f f f f f f f f f f f f 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 t f f f f f f f t f
        #step 25
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 C 2 4 EB 2 4 C 0 5 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 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
        #step 26
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 C 2 4 EB 2 4 EB 0 5 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 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
        #step 27
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 C 2 4 EB 2 4 EF 0 5 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 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
        #step 28
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 C 2 4 EF 2 4 EF 0 5 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 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
        #step 29
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 C 2 4 C 2 5 EF 0 5 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 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
        #step 30
        #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 C 2 4 C 2 5 C 1 6 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f 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 t
        This algo is silent after 72 moves, 30 steps, 15 rounds.
        q
        #quit
        %!
        \ No newline at end of file
        test/rsp-tree/4.13.1/udg100.rif.exp 0 → 100644
        + 107
        − 0
        View file @ ce0b8c6b
        This diff is collapsed.
        test/rsp-tree/Makefile
        + 5
        − 5
        View file @ ce0b8c6b
        # Time-stamp: <modified the 02/09/2021 (at 09:58) by Erwan Jahier> # Time-stamp: <modified the 06/10/2021 (at 16:58) by Erwan Jahier>
        test: grid4.gm_test er30.gm_test udg100.gm_test ba100.gm_test test: grid4.gm_test er30.gm_test udg100.gm_test ba100.gm_test
        utest: utest:
        [ -s grid4.res ] && make grid4.ugm_test || echo "grid4 ok" make grid4.ugm_test || echo "grid4 ok"
        [ -s er30.res ] && make er30.ugm_test || echo "er30" make er30.ugm_test || echo "er30"
        [ -s udg100.res ] && make udg100.ugm_test || echo "udg100 ok" make udg100.ugm_test || echo "udg100 ok"
        [ -s ba100.res ] && make ba100.ugm_test || echo "ba100 ok" make ba100.ugm_test || echo "ba100 ok"
        DECO_PATTERN="0:root.ml 1-:p.ml" DECO_PATTERN="0:root.ml 1-:p.ml"
        -include ../Makefile.dot -include ../Makefile.dot
        ......
        0% or .
        You are about to add 0 people to the discussion. Proceed with caution.
        Finish editing this message first!
        Please register or to comment