diff options
author | Nick Fitzgerald <fitzgen@gmail.com> | 2017-09-29 09:31:58 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-29 09:31:58 -0700 |
commit | c160b20218ecd85b2dfc141485b85beec88bac4f (patch) | |
tree | f12f88f14733c284ae1715e3f9e41a2c849cffe2 | |
parent | e78394959f40193a4bf9e5718dd4f779cb57437a (diff) | |
parent | 225c9a47f2b054538ad11d019dcb43a952bec606 (diff) |
Merge pull request #1043 from clippered/issue-1037/csmith_driver_derive
Issue #1037: pass all derive-enabling flags in bindgen for csmith driver
-rw-r--r-- | csmith-fuzzing/driver.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/csmith-fuzzing/driver.py b/csmith-fuzzing/driver.py index e2816813..f4f00f87 100644 --- a/csmith-fuzzing/driver.py +++ b/csmith-fuzzing/driver.py @@ -31,6 +31,10 @@ def run_bindgen(input, output): "bindgen", "--with-derive-partialeq", "--with-derive-eq", + "--with-derive-partialord", + "--with-derive-ord", + "--with-derive-hash", + "--with-derive-default", "-o", output.name, input.name, "--", |