Merge branch 'master' of dragon:/home/dav/yacasl2
[YACASL2.git] / test / system / casl2 / cmd_ADDA_adda0_as0 / cmd
1 cat ../../../../as/cmd/ADDA/adda0_as0.casl
2 ../../../../casl2 -atd -M8 ../../../../as/cmd/ADDA/adda0_as0.casl