test/examples: split test/my-rdbg-commands.ml into test/sasa-rdbg-cmds.ml and rdbg-cmds.ml
that is now genarated all the times by rdbg
Showing
- .merlin 4 additions, 0 deletions.merlin
- test/alea-coloring/my-rdbg-tuning.ml 3 additions, 1 deletiontest/alea-coloring/my-rdbg-tuning.ml
- test/async-unison/Makefile 4 additions, 4 deletionstest/async-unison/Makefile
- test/async-unison/async_unison_oracle.ml 8 additions, 5 deletionstest/async-unison/async_unison_oracle.ml
- test/async-unison/my-rdbg-tuning.ml 3 additions, 4 deletionstest/async-unison/my-rdbg-tuning.ml
- test/bfs-spanning-tree/my-rdbg-tuning.ml 0 additions, 9 deletionstest/bfs-spanning-tree/my-rdbg-tuning.ml
- test/bfs-st-HC92/my-rdbg-tuning.ml 0 additions, 7 deletionstest/bfs-st-HC92/my-rdbg-tuning.ml
- test/coloring/my-rdbg-tuning.ml 0 additions, 6 deletionstest/coloring/my-rdbg-tuning.ml
- test/debug_sasa/my-rdbg-tuning.ml 0 additions, 6 deletionstest/debug_sasa/my-rdbg-tuning.ml
- test/dfs-list/my-rdbg-tuning.ml 0 additions, 8 deletionstest/dfs-list/my-rdbg-tuning.ml
- test/dfs/Makefile 2 additions, 2 deletionstest/dfs/Makefile
- test/dfs/my-rdbg-tuning.ml 3 additions, 8 deletionstest/dfs/my-rdbg-tuning.ml
- test/dijkstra-ring/Makefile 2 additions, 2 deletionstest/dijkstra-ring/Makefile
- test/dijkstra-ring/my-rdbg-tuning.ml 3 additions, 5 deletionstest/dijkstra-ring/my-rdbg-tuning.ml
- test/rdbg-utils/dot.ml 3 additions, 3 deletionstest/rdbg-utils/dot.ml
- test/rdbg-utils/rdbgui.ml 10 additions, 12 deletionstest/rdbg-utils/rdbgui.ml
- test/sasa-rdbg-cmds.ml 155 additions, 339 deletionstest/sasa-rdbg-cmds.ml
- test/skeleton/my-rdbg-tuning.ml 0 additions, 6 deletionstest/skeleton/my-rdbg-tuning.ml
- test/st-CYH91/my-rdbg-tuning.ml 0 additions, 7 deletionstest/st-CYH91/my-rdbg-tuning.ml
- test/st-KK06-algo1/my-rdbg-tuning.ml 3 additions, 5 deletionstest/st-KK06-algo1/my-rdbg-tuning.ml
Loading
Please register or sign in to comment