test: run kind2 test via the run-kind2.sh + dont hardcode the daemon
Showing
- salut/test/Makefile.inc 1 addition, 38 deletionssalut/test/Makefile.inc
- salut/test/bfs-spanning-tree/verify.lus 3 additions, 1 deletionsalut/test/bfs-spanning-tree/verify.lus
- salut/test/coloring/Makefile 6 additions, 1 deletionsalut/test/coloring/Makefile
- salut/test/dijkstra-ring/Makefile 5 additions, 1 deletionsalut/test/dijkstra-ring/Makefile
- salut/test/dijkstra-ring/verify.lus 3 additions, 2 deletionssalut/test/dijkstra-ring/verify.lus
- salut/test/ghosh/Makefile 8 additions, 1 deletionsalut/test/ghosh/Makefile
- salut/test/ghosh/ghosh8.dot 0 additions, 25 deletionssalut/test/ghosh/ghosh8.dot
- salut/test/ghosh/verify.lus 4 additions, 3 deletionssalut/test/ghosh/verify.lus
- salut/test/kclustering/Makefile 4 additions, 1 deletionsalut/test/kclustering/Makefile
- salut/test/kclustering/verify.lus 18 additions, 4 deletionssalut/test/kclustering/verify.lus
- salut/test/rsp_tree/Makefile 5 additions, 1 deletionsalut/test/rsp_tree/Makefile
- salut/test/rsp_tree/verify.lus 3 additions, 1 deletionsalut/test/rsp_tree/verify.lus
- salut/test/run-kind2.sh 53 additions, 24 deletionssalut/test/run-kind2.sh
- salut/test/unison/Makefile 6 additions, 2 deletionssalut/test/unison/Makefile
- salut/test/unison/verify.lus 3 additions, 1 deletionsalut/test/unison/verify.lus
- test/Makefile.dot 8 additions, 1 deletiontest/Makefile.dot
Loading
Please register or sign in to comment