Skip to content

Commit

Permalink
Fix creduce example
Browse files Browse the repository at this point in the history
rustc-grep won't find [E0277] as it's reading it as a regex. The arguments need to be escaped
  • Loading branch information
Kriskras99 authored and emilio committed Aug 20, 2024
1 parent 7a4f04a commit 8c71848
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -490,10 +490,11 @@ to fail to compile `bindgen`'s emitted bindings, you can invoke `predicate.py`
like this:

```bash
# the rustc-grep argument expects a regex, thus escape where necessary
path/to/rust-bindgen/csmith-fuzzing/predicate.py \
--bindings-grep NameOfTheStructThatIsErroneouslyDerivingEq \
--expect-compile-fail \
--rustc-grep 'error[E0277]: the trait bound `f64: std::cmp::Eq` is not satisfied' \
--rustc-grep 'error\[E0277\]: the trait bound `f64: std::cmp::Eq` is not satisfied' \
./isolated-test-case.h
```

Expand Down

0 comments on commit 8c71848

Please sign in to comment.