X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=examples%2Frun_all;h=e4ed0e45c39fdf828352433f7e3260587c1aefe7;hb=4ada89c0093f3a52206de5afa817793c234df5e8;hp=713c9a76f463d3410eae2e1d0c12e41d636f50b6;hpb=239b0e24ba0d694f14cecaf261e0ef6ba1e01f67;p=snark14.git diff --git a/examples/run_all b/examples/run_all index 713c9a7..e4ed0e4 100755 --- a/examples/run_all +++ b/examples/run_all @@ -1,10 +1,10 @@ #!/bin/bash -#now need to modify run scripts in examples directory -echo "Running all ten examples. This may take a few minutes." -for i in 1 3 4 5 6 7 8 10 11; + +echo "Running all examples. This may take a few minutes." +for i in 1 3 4 5 6 7 8 10 11 20; do cd b$i - snark14 b"$i".in > b"$i".out + snark14 b${i}.in > b${i}.out cd .. done