fix: do not increment the round counter at legit config
Showing
- lib/sasa/sasaRun.ml 3 additions, 3 deletionslib/sasa/sasaRun.ml
- lib/sasacore/round.ml 9 additions, 8 deletionslib/sasacore/round.ml
- src/sasaMain.ml 10 additions, 9 deletionssrc/sasaMain.ml
- test/bfs-spanning-tree/fig51_noinit.rif.exp 2 additions, 2 deletionstest/bfs-spanning-tree/fig51_noinit.rif.exp
- test/dfs-list/4.13.1/g.rif.exp 3 additions, 3 deletionstest/dfs-list/4.13.1/g.rif.exp
- test/dfs/4.13.1/ER.rif.exp 3 additions, 3 deletionstest/dfs/4.13.1/ER.rif.exp
- test/dfs/4.13.1/g.rif.exp 3 additions, 3 deletionstest/dfs/4.13.1/g.rif.exp
- test/dijkstra-ring/ring.rif.exp 1 addition, 1 deletiontest/dijkstra-ring/ring.rif.exp
- test/k-clustering/4.13.1/fig52_kcl.rif.exp 30 additions, 0 deletionstest/k-clustering/4.13.1/fig52_kcl.rif.exp
- test/k-clustering/4.14.0/fig52_kcl.rif.exp 30 additions, 0 deletionstest/k-clustering/4.14.0/fig52_kcl.rif.exp
- test/rsp-tree/4.13.1/ba100.rif.exp 3 additions, 3 deletionstest/rsp-tree/4.13.1/ba100.rif.exp
- test/rsp-tree/4.13.1/er30.rif.exp 3 additions, 3 deletionstest/rsp-tree/4.13.1/er30.rif.exp
- test/rsp-tree/4.13.1/grid4.rif.exp 3 additions, 3 deletionstest/rsp-tree/4.13.1/grid4.rif.exp
- test/rsp-tree/4.13.1/udg100.rif.exp 3 additions, 3 deletionstest/rsp-tree/4.13.1/udg100.rif.exp
- test/toy-example-a5sf/te.rif.exp 28 additions, 31 deletionstest/toy-example-a5sf/te.rif.exp
- tools/rdbg4sasa/sasa-rdbg-cmds.ml 2 additions, 2 deletionstools/rdbg4sasa/sasa-rdbg-cmds.ml
Loading
Please register or sign in to comment