From 3fcb7f8ea816ca9dcd5036f98e820339091035bf Mon Sep 17 00:00:00 2001
From: Kriskras99 <github@kriskras99.nl>
Date: Tue, 20 Aug 2024 15:40:29 +0200
Subject: [PATCH 1/2] Fix creduce install link

They seem to have renamed their main branch to master
---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 0ffc58565e..29cbc69947 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -425,7 +425,7 @@ $ brew install creduce
 $ # Etc...
 ```
 
-Otherwise, follow [these instructions](https://github.com/csmith-project/creduce/blob/main/INSTALL.md) for building and/or installing `creduce`.
+Otherwise, follow [these instructions](https://github.com/csmith-project/creduce/blob/master/INSTALL.md) for building and/or installing `creduce`.
 
 Running `creduce` requires two things:
 

From 437de5d0b91dd4fa92a2ccf567213d78d94a17ba Mon Sep 17 00:00:00 2001
From: Kriskras99 <github@kriskras99.nl>
Date: Tue, 20 Aug 2024 16:01:02 +0200
Subject: [PATCH 2/2] Fix creduce example

rustc-grep won't find [E0277] as it's reading it as a regex. The arguments need to be escaped
---
 CONTRIBUTING.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 29cbc69947..ff48cf1df7 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -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
 ```