diff options
| author | mzuenni <michi.zuendorf@gmail.com> | 2024-08-02 16:08:23 +0200 |
|---|---|---|
| committer | mzuenni <michi.zuendorf@gmail.com> | 2024-08-02 16:08:23 +0200 |
| commit | 5bc03851d490c6620dce0aee9d029d6286c20774 (patch) | |
| tree | 17e2c0c33d8d51efb2523f3801c050def2ff6293 /test/fuzz.sh | |
| parent | 25daac91eedb2c2abb0c6142d7ea5f4e7ce2b608 (diff) | |
fix
Diffstat (limited to 'test/fuzz.sh')
| -rwxr-xr-x | test/fuzz.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/fuzz.sh b/test/fuzz.sh index 5b9b9d2..c166506 100755 --- a/test/fuzz.sh +++ b/test/fuzz.sh @@ -10,5 +10,5 @@ do done echo "Fuzz using seed: $seed" echo - ./test.sh --seed=123 "$@" + ./test.sh --seed=$seed "$@" done |