diff --git a/seed_KTp2/corpus.place-benchmark.mc b/seed_KTp2/corpus.place-benchmark.mc new file mode 120000 index 0000000000000000000000000000000000000000..6cf62c426f721dd72c7e172cec623a5b845e0b77 --- /dev/null +++ b/seed_KTp2/corpus.place-benchmark.mc @@ -0,0 +1 @@ +../seed-src/corpus.place-benchmark.mc \ No newline at end of file