fix: the -seed in gg was ignored (the Random.init was done too late).
Showing
- test/rsp-tree/4.13.1/ba100.rif.exp 28 additions, 67 deletionstest/rsp-tree/4.13.1/ba100.rif.exp
- test/rsp-tree/4.13.1/er30.rif.exp 64 additions, 28 deletionstest/rsp-tree/4.13.1/er30.rif.exp
- test/rsp-tree/4.13.1/grid4.rif.exp 2 additions, 2 deletionstest/rsp-tree/4.13.1/grid4.rif.exp
- test/rsp-tree/4.13.1/udg100.rif.exp 28 additions, 46 deletionstest/rsp-tree/4.13.1/udg100.rif.exp
- tools/gg/graphGen.ml 4 additions, 4 deletionstools/gg/graphGen.ml
Loading
Please register or sign in to comment