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

…ical characters

tests/.gitignore

@@ -14,3 +14,4 @@
 /aim_vs_smt2_nonzero_start_offset*/
 /invalid_ff_dcinit_merge*/
 /2props1trace*/
+/escapechars*/

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