f0762a09d48cd3cc58ca57528daedc3029fce5c3
[YACASL2.git] / test / integration / comet2 / sum_call / 0.txt
1 ../../../../comet2 a.o
2 65341