721c6502943f35e5f0927f95c61e952ddb50c433
[YACASL2.git] / test / integration / COMET2 / pushpop / 0.txt
1 ../../../../comet2 pushpop.o