summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNick Fitzgerald <fitzgen@gmail.com>2017-09-29 09:31:58 -0700
committerGitHub <noreply@github.com>2017-09-29 09:31:58 -0700
commitc160b20218ecd85b2dfc141485b85beec88bac4f (patch)
treef12f88f14733c284ae1715e3f9e41a2c849cffe2
parente78394959f40193a4bf9e5718dd4f779cb57437a (diff)
parent225c9a47f2b054538ad11d019dcb43a952bec606 (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.py4
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,
"--",