From fbb52117158df23d43af124756d686d86926e5f1 Mon Sep 17 00:00:00 2001
From: "N. Engelhardt" <nak@yosyshq.com>
Date: Tue, 22 Mar 2022 11:56:52 +0100
Subject: [PATCH] add testcase with escaped identifier using all allowed
 non-alphanumerical characters

---
 tests/.gitignore      |  1 +
 tests/escapechars.sby | 25 +++++++++++++++++++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 tests/escapechars.sby

diff --git a/tests/.gitignore b/tests/.gitignore
index 212f4ddb..3c2eb0c1 100644
--- a/tests/.gitignore
+++ b/tests/.gitignore
@@ -10,3 +10,4 @@
 /junit_*/
 /submod_props*/
 /multi_assert*/
+/escapechars*/
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