test: code refactoring
Showing
- salut/lib/utils.lus 74 additions, 12 deletionssalut/lib/utils.lus
- salut/test/Makefile.inc 37 additions, 71 deletionssalut/test/Makefile.inc
- salut/test/bfs-spanning-tree/verify.lus 2 additions, 1 deletionsalut/test/bfs-spanning-tree/verify.lus
- salut/test/coloring/Makefile.local 0 additions, 1 deletionsalut/test/coloring/Makefile.local
- salut/test/coloring/verify.lus 19 additions, 14 deletionssalut/test/coloring/verify.lus
- salut/test/dijkstra-ring/root.lus 3 additions, 1 deletionsalut/test/dijkstra-ring/root.lus
- salut/test/dijkstra-ring/verify.lus 9 additions, 89 deletionssalut/test/dijkstra-ring/verify.lus
- salut/test/run-kind2.sh 13 additions, 9 deletionssalut/test/run-kind2.sh
- salut/test/unison/Makefile 0 additions, 50 deletionssalut/test/unison/Makefile
- salut/test/unison/verify.lus 3 additions, 3 deletionssalut/test/unison/verify.lus
Loading
Please register or sign in to comment