Merge branch 'master' of dragon:/home/dav/yacasl2
[YACASL2.git] / test / system / casl2 / cmd_AND_and1 / cmd
1 cat ../../../../as/cmd/AND/and1.casl
2 ../../../../casl2 -atd -M16 ../../../../as/cmd/AND/and1.casl