Move test clique back to 3 n
Showing
- lib/sas.lus 1 addition, 1 deletionlib/sas.lus
- test/Makefile.inc 1 addition, 1 deletiontest/Makefile.inc
- test/coloring/Makefile 1 addition, 1 deletiontest/coloring/Makefile
- test/coloring/clique3.dot 12 additions, 0 deletionstest/coloring/clique3.dot
- test/coloring/clique3_oracle.lus 26 additions, 0 deletionstest/coloring/clique3_oracle.lus
- test/token/verify.lus 1 addition, 1 deletiontest/token/verify.lus
Loading
Please register or sign in to comment