Skip to content

Commit

Permalink
Rename flags
Browse files Browse the repository at this point in the history
  • Loading branch information
vrabaud committed Apr 3, 2024
1 parent 5c7817b commit 03f82c6
Show file tree
Hide file tree
Showing 3 changed files with 10 additions and 3 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/cifuzz.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,8 @@ name: CI Fuzz
on:
pull_request:
paths:
- 'include/**'
- 'ext/**'
- 'include/**'
- 'src/**'
- 'tests/gtest/**'
- 'tests/oss-fuzz/**'
Expand Down
2 changes: 1 addition & 1 deletion ext/fuzztest.cmd
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@

git clone https://github.com/google/fuzztest.git
cd fuzztest
: # There is no tagged release as of 2024/02/23. Pick the last commit that works.
: # There is no tagged release as of 2024/04/01. Pick the latest commit that works.
git checkout dfd4a6441377391a53dd942efa1e228d90d2627c
sed -i 's/-fsanitize=address//g' ./cmake/FuzzTestFlagSetup.cmake
sed -i 's/-DADDRESS_SANITIZER//g' ./cmake/FuzzTestFlagSetup.cmake
Expand Down
9 changes: 8 additions & 1 deletion tests/oss-fuzz/build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -120,7 +120,14 @@ then
this_dir=\$(dirname \"\$0\")
export TEST_DATA_DIRS=\$this_dir/corpus
chmod +x \$this_dir/$fuzz_basename
\$this_dir/$fuzz_basename --fuzz=$fuzz_entrypoint -- \$@
ARGS=\$*
ARGS=\$(echo \${ARGS} | sed \"s/-timeout=\\([0-9]\\+\\)/-fuzz_for=\1s/g\")
# Keep rss_limit_mb
ARGS=\$(echo \${ARGS} | sed \"s/-runs=\\([0-9]\\+\\)/ /g\")
FUZZTEST_PRNG_SEED=\$(echo \${ARGS} | sed \"s/.*-seed=\\([0-9]\\+\\).*/\1/g\")
ARGS=\$(echo \${ARGS} | sed \"s/-seed=\\([0-9]\\+\\)/ /g\")
\$this_dir/$fuzz_basename --fuzz=$fuzz_entrypoint -- \$ARGS
echo \"\$this_dir/$fuzz_basename --fuzz=$fuzz_entrypoint -- \$ARGS\"
chmod -x \$this_dir/$fuzz_basename" > $OUT/$TARGET_FUZZER
chmod +x $OUT/$TARGET_FUZZER
done
Expand Down

0 comments on commit 03f82c6

Please sign in to comment.