ebc25943f45cb6abd41b3eb597b28f565be889f4
[YACASL2.git] / cmd
1 cat ../../../../as/sample/sum_10.casl
2 ../../../../casl2 -slat -o ../../../../as/sample/sum_10.casl