diff options
Diffstat (limited to 'testmain_preinit.sh')
-rwxr-xr-x | testmain_preinit.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testmain_preinit.sh b/testmain_preinit.sh index 7be371b..d48cbf0 100755 --- a/testmain_preinit.sh +++ b/testmain_preinit.sh @@ -1,10 +1,10 @@ #!/bin/bash mkdir -p results -trials=2 +trials=1 runs_test=500 # minimum is ceil(lg(runs_test)), otherwise modify will fail -for i in `seq 10 12` +for i in `seq 10 25` do echo "logleaves "$i |