Test: only use automatically generated lutin demons and remove hand-crafted ones
Showing
- test/Makefile.inc 5 additions, 2 deletionstest/Makefile.inc
- test/bfs-spanning-tree/Makefile 7 additions, 7 deletionstest/bfs-spanning-tree/Makefile
- test/bfs-spanning-tree/demon.lut 0 additions, 72 deletionstest/bfs-spanning-tree/demon.lut
- test/bfs-spanning-tree/fig5.1-noinit.dot 5 additions, 5 deletionstest/bfs-spanning-tree/fig5.1-noinit.dot
- test/coloring/Makefile 7 additions, 1 deletiontest/coloring/Makefile
- test/coloring/p.ml 2 additions, 1 deletiontest/coloring/p.ml
- test/dijkstra-ring/Makefile 7 additions, 1 deletiontest/dijkstra-ring/Makefile
- test/dijkstra-ring/ring.ml 3 additions, 2 deletionstest/dijkstra-ring/ring.ml
- test/dijkstra-ring/ringroot.ml 3 additions, 2 deletionstest/dijkstra-ring/ringroot.ml
- test/unison/Makefile 8 additions, 3 deletionstest/unison/Makefile
- test/unison/demon.lut 0 additions, 9 deletionstest/unison/demon.lut
- test/unison/unison.ml 3 additions, 3 deletionstest/unison/unison.ml
Loading
Please register or sign in to comment