-
- Downloads
test: various fix were needed because kind2 now ignore assert
This forced me to put everything into contracts, without expanding nodes, which required more fixes. Sigh.
Showing
- salut/lib/bitset.lus 5 additions, 5 deletionssalut/lib/bitset.lus
- salut/lib/daemon.lus 1 addition, 1 deletionsalut/lib/daemon.lus
- salut/lib/utils.lus 9 additions, 8 deletionssalut/lib/utils.lus
- salut/test/Makefile 2 additions, 2 deletionssalut/test/Makefile
- salut/test/bfs-spanning-tree/bfs_spanning_tree_oracle.lus 2 additions, 2 deletionssalut/test/bfs-spanning-tree/bfs_spanning_tree_oracle.lus
- salut/test/bfs-spanning-tree/p.lus 6 additions, 3 deletionssalut/test/bfs-spanning-tree/p.lus
- salut/test/bfs-spanning-tree/verify.lus 1 addition, 2 deletionssalut/test/bfs-spanning-tree/verify.lus
- salut/test/coloring/p.lus 5 additions, 5 deletionssalut/test/coloring/p.lus
- salut/test/coloring/verify.lus 5 additions, 4 deletionssalut/test/coloring/verify.lus
- salut/test/dijkstra-ring/verify.lus 2 additions, 2 deletionssalut/test/dijkstra-ring/verify.lus
- salut/test/ghosh/Makefile 1 addition, 1 deletionsalut/test/ghosh/Makefile
- salut/test/ghosh/p0.lus 0 additions, 3 deletionssalut/test/ghosh/p0.lus
- salut/test/ghosh/p_even.lus 4 additions, 5 deletionssalut/test/ghosh/p_even.lus
- salut/test/ghosh/p_odd.lus 5 additions, 4 deletionssalut/test/ghosh/p_odd.lus
- salut/test/ghosh/util/gen_ghosh_dot.ml 2 additions, 2 deletionssalut/test/ghosh/util/gen_ghosh_dot.ml
- salut/test/ghosh/verify.lus 6 additions, 4 deletionssalut/test/ghosh/verify.lus
- salut/test/k-clustering/k_clustering_oracle.lus 1 addition, 1 deletionsalut/test/k-clustering/k_clustering_oracle.lus
- salut/test/k-clustering/verify.lus 6 additions, 4 deletionssalut/test/k-clustering/verify.lus
- salut/test/ring-orientation/Makefile 1 addition, 1 deletionsalut/test/ring-orientation/Makefile
- salut/test/ring-orientation/ring_orientation_oracle.lus 2 additions, 1 deletionsalut/test/ring-orientation/ring_orientation_oracle.lus
Loading
Please register or sign in to comment