010487d1c323bc52c9faa8e1688eeb2c6a40f2f3
[YACASL2.git] / cmd
1 cat ../../../../as/sum_10.casl
2 ../../../../casl2 -s ../../../../as/sum_10.casl