e34566fa77c7a7e5c4685d0be585453ccc44708e
[YACASL2.git] / cmd
1 ../../../../casl2 -z ../../../../as/sum_10.casl 2>&1 | tail -1