diff --git a/tests/escapechars.sby b/tests/escapechars.sby
new file mode 100644
index 00000000..aca209fc
--- /dev/null
+++ b/tests/escapechars.sby
@@ -0,0 +1,25 @@
+[options]
+mode bmc
+depth 1
+expect fail
+wait on
+
+[engines]
+smtbmc yices
+smtbmc boolector
+btor btormc
+abc bmc3
+
+
+[script]
+read -sv escapechars.v
+prep -top test
+
+[file escapechars.v]
+module test(
+input \foo!"#$%&'()*+,-./:;<=>?@[\]^_`{|}~bar
+);
+always @* begin
+assert (\foo!"#$%&'()*+,-./:;<=>?@[\]^_`{|}~bar );
+end
+endmodule