test: add a -seed option to gg to get reproducible GM tests
Showing
- test/Makefile.dot 13 additions, 13 deletionstest/Makefile.dot
- test/Makefile.inc 6 additions, 2 deletionstest/Makefile.inc
- test/rsp-tree/4.12.0/ba100.rif.exp 40 additions, 43 deletionstest/rsp-tree/4.12.0/ba100.rif.exp
- test/rsp-tree/4.12.0/er30.rif.exp 27 additions, 132 deletionstest/rsp-tree/4.12.0/er30.rif.exp
- test/rsp-tree/4.12.0/udg100.rif.exp 45 additions, 27 deletionstest/rsp-tree/4.12.0/udg100.rif.exp
- tools/gg/graphGen.ml 5 additions, 1 deletiontools/gg/graphGen.ml
- tools/gg/graphGen_arg.ml 7 additions, 3 deletionstools/gg/graphGen_arg.ml
- tools/gg/graphGen_arg.mli 1 addition, 0 deletionstools/gg/graphGen_arg.mli
Loading