add testcase with escaped identifier using all allowed non-alphanumer…

…ical characters
YosysHQ · Mar 22, 2022 · fbb5211 · fbb5211
1 parent fa5d5ad
commit fbb5211
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 0 deletions.
diff --git 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
@@ -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