diff options
| -rw-r--r-- | REUSE.toml | 1 | ||||
| -rw-r--r-- | loftix/fuzzing.scm | 1 | ||||
| -rw-r--r-- | patches/fuzzolic-relax-perf-test.patch | 13 |
3 files changed, 15 insertions, 0 deletions
@@ -158,6 +158,7 @@ path = [ 'patches/afl++-*.patch', 'patches/fuzzy-sat-*.patch', 'patches/fuzzolic-install.patch', 'patches/fuzzolic-python-package.patch', + 'patches/fuzzolic-relax-perf-test.patch', 'patches/fuzzolic-solver-install.patch', 'patches/fuzzolic-solver-unbundle.patch', 'patches/fuzzolic-test-driver-include-libc.patch', diff --git a/loftix/fuzzing.scm b/loftix/fuzzing.scm index 4f6a26e..fd05a61 100644 --- a/loftix/fuzzing.scm +++ b/loftix/fuzzing.scm @@ -298,6 +298,7 @@ fuzzolic-with-afl = 'fuzzolic.run_afl_fuzzolic:main' "patches/fuzzolic-unbundle.patch" ;; https://github.com/season-lab/fuzzolic/pull/13 "patches/fuzzolic-timeout-solver.patch" + "patches/fuzzolic-relax-perf-test.patch" "patches/fuzzolic-test-fix-runner.patch" "patches/fuzzolic-test-skip-nondeterministic.patch")))) (build-system pyproject-build-system) diff --git a/patches/fuzzolic-relax-perf-test.patch b/patches/fuzzolic-relax-perf-test.patch new file mode 100644 index 0000000..f1de80a --- /dev/null +++ b/patches/fuzzolic-relax-perf-test.patch @@ -0,0 +1,13 @@ +diff --git a/tests/run.py b/tests/run.py +index 2144d96c7544..1d84a2999662 100755 +--- a/tests/run.py ++++ b/tests/run.py +@@ -78,7 +78,7 @@ def run(test, + if perf_run: + slowdown = emulated_time / native_time + print("Slowdown: %s" % round(slowdown, 1)) +- assert slowdown < 70 ++ assert slowdown < 140 + + if expected_inputs > 0: + testcases = glob.glob(WORKDIR + "/tests/test_*.dat") |