diff --git a/tests/techmap/bug5495.abc b/tests/techmap/bug5495.abc
new file mode 100644
index 000000000..60a29a58a
--- /dev/null
+++ b/tests/techmap/bug5495.abc
@@ -0,0 +1,2 @@
+
+fraig_store; fraig_restore
diff --git a/tests/techmap/bug5495.sh b/tests/techmap/bug5495.sh
new file mode 100755
index 000000000..181797e32
--- /dev/null
+++ b/tests/techmap/bug5495.sh
@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+
+if ! timeout 5 ../../yosys bug5495.v -p 'hierarchy; techmap; abc -script bug5495.abc' ; then
+    echo "Yosys failed to complete"
+    exit 1
+fi
+
diff --git a/tests/techmap/bug5495.v b/tests/techmap/bug5495.v
new file mode 100644
index 000000000..37ce73ec8
--- /dev/null
+++ b/tests/techmap/bug5495.v
@@ -0,0 +1,7 @@
+module simple(I1, I2, O);
+	input wire I1;
+	input wire I2;
+	output wire O;
+
+	assign O = I1 | I2;
+endmodule