diff options
Diffstat (limited to 'utils')
| -rwxr-xr-x | utils/solvetest_gen.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/utils/solvetest_gen.sh b/utils/solvetest_gen.sh index 11dcd07..0e8415d 100755 --- a/utils/solvetest_gen.sh +++ b/utils/solvetest_gen.sh | |||
| @@ -1,5 +1,9 @@ | |||
| 1 | #!/bin/sh | 1 | #!/bin/sh |
| 2 | 2 | ||
| 3 | # use like e.g. | ||
| 4 | # nissy scramble -n 20 | ./utils/solvetest_gen.sh eofb -o -N | \ | ||
| 5 | # tee tools/401_solvetest_opt0_EO_FB/scrambles.h | ||
| 6 | |||
| 3 | args="$@" | 7 | args="$@" |
| 4 | 8 | ||
| 5 | getsolutions() { | 9 | getsolutions() { |