acd89873c7950639942d4f61158a54750e89bd4f
[YACASL2.git] / cmd
1 cat ../../../../as/sample/sum_10.casl
2 ../../../../casl2 -slatdo ../../../../as/sample/sum_10.casl