06b213a4be093b8f2aaae6eacb73d1e84da08a79
[YACASL2.git] / test / integration / comet2 / xor5 / 0.txt
1 ../../../../comet2 xor5.o