X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=examples%2Fb9%2Frun;fp=examples%2Fb9%2Frun;h=b36e7546ba2694f553ebd913cc389ed3155566ae;hb=239b0e24ba0d694f14cecaf261e0ef6ba1e01f67;hp=0000000000000000000000000000000000000000;hpb=008ec13cd73c8e9e7d1a596c24b85a8e5ed3f126;p=snark14.git diff --git a/examples/b9/run b/examples/b9/run new file mode 100755 index 0000000..b36e754 --- /dev/null +++ b/examples/b9/run @@ -0,0 +1,2 @@ +./build >&2 +./bin/snark14 -e b.9.experimenter.in