From c2c8062bfe6bf65a4a41a617241a8f32b50387e6 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Fri, 31 Mar 2023 12:15:36 -0700 Subject: 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. --- scripts/fuzz_opt.py | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) (limited to 'scripts/fuzz_opt.py') 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. -- cgit v1.2.3