diff options
| author | Alon Zakai <azakai@google.com> | 2023-03-31 12:15:36 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-31 12:15:36 -0700 |
| commit | c2c8062bfe6bf65a4a41a617241a8f32b50387e6 (patch) | |
| tree | 7c38be8eaee48caaac4304c42e68825a8db1921f /scripts/fuzz_opt.py | |
| parent | 2a70c822d87cf114a4de893bf726578660d30275 (diff) | |
| download | binaryen-c2c8062bfe6bf65a4a41a617241a8f32b50387e6.tar.gz binaryen-c2c8062bfe6bf65a4a41a617241a8f32b50387e6.tar.bz2 binaryen-c2c8062bfe6bf65a4a41a617241a8f32b50387e6.zip | |
Adjust fuzzer frequencies (#5612)
I ran CheckDeterminism at full throttle overnight (set to 1, and disabled
all other things) and it found a bug, so we should focus on that more.
Also ctor-eval as there is ongoing work there.
I reduced a few other priorities of things that haven't seen bugs in a
very long time and are not high priority.
Diffstat (limited to 'scripts/fuzz_opt.py')
| -rwxr-xr-x | scripts/fuzz_opt.py | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index 530cafeb2..4c39671d4 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -903,8 +903,7 @@ class CompareVMs(TestCaseHandler): # Check for determinism - the same command must have the same output. class CheckDeterminism(TestCaseHandler): - # not that important - frequency = 0.1 + frequency = 0.2 def handle_pair(self, input, before_wasm, after_wasm, opts): # check for determinism @@ -921,7 +920,7 @@ class CheckDeterminism(TestCaseHandler): class Wasm2JS(TestCaseHandler): - frequency = 0.25 + frequency = 0.1 def handle_pair(self, input, before_wasm, after_wasm, opts): before_wasm_temp = before_wasm + '.temp.wasm' @@ -1047,7 +1046,7 @@ class Wasm2JS(TestCaseHandler): class Asyncify(TestCaseHandler): - frequency = 0.25 + frequency = 0.1 def handle_pair(self, input, before_wasm, after_wasm, opts): # we must legalize in order to run in JS @@ -1121,7 +1120,7 @@ class Asyncify(TestCaseHandler): # and the optimizer was free to make changes to observable behavior there. The # fuzzer therefore needs to ignore code that traps. class TrapsNeverHappen(TestCaseHandler): - frequency = 0.5 + frequency = 0.25 def handle_pair(self, input, before_wasm, after_wasm, opts): before = run_bynterp(before_wasm, ['--fuzz-exec-before']) @@ -1201,7 +1200,7 @@ class TrapsNeverHappen(TestCaseHandler): # Tests wasm-ctor-eval class CtorEval(TestCaseHandler): - frequency = 0.1 + frequency = 0.2 def handle(self, wasm): # get the expected execution results. |