From cd1af7cacf499706f173cf8e77cfb226abab8dea Mon Sep 17 00:00:00 2001
From: Nick Fitzgerald <fitzgen@gmail.com>
Date: Wed, 25 Oct 2017 11:13:42 -0700
Subject: [PATCH] Ignore C-Reduce's backup files

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 77cea935b8..9141908668 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,6 @@ __bindgen.*
 
 # Generated by C-Smith
 csmith-fuzzing/platform.info
+
+# Backups of test cases from C-Reduce
+**.orig