Added "test_autotb -seed" (and "autotest.sh -S")
authorClifford Wolf <clifford@clifford.at>
Sat, 6 Aug 2016 11:32:29 +0000 (13:32 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 6 Aug 2016 11:32:29 +0000 (13:32 +0200)
commit88a67afa7d044bd1abb952d7c709876e4159db1a
treea113ab33281dc964bb1712c337e2a815decc2855
parent90c17aad56b0bf4b3ace5dea8c2d8555b52d4bfb
Added "test_autotb -seed" (and "autotest.sh -S")
passes/tests/test_autotb.cc
tests/tools/autotest.sh