restored 75% fuzz coverage

Samsung · Oct 27, 2022 · 37287ae · 37287ae
1 parent 343ba58
commit 37287ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml
@@ -78,7 +78,7 @@ jobs:
       run: |
         COVERAGE=$(tail -1 report.txt | awk '{print $6}' | tr --delete '%')
         # additionally check correctness of the value - should be an integer
-        FUZZ_COVERAGE_LIMIT=70
+        FUZZ_COVERAGE_LIMIT=75
         if ! [ ${FUZZ_COVERAGE_LIMIT} -le ${COVERAGE} ]; then
             echo "Fuzzing coverage '${COVERAGE}' does not satisfy the limit ${FUZZ_COVERAGE_LIMIT}%"
             exit 1