From 8b73075e28b362a5eb89640d1f7b9a9179c28e6d Mon Sep 17 00:00:00 2001 From: "N. Engelhardt" Date: Tue, 22 Mar 2022 11:56:52 +0100 Subject: [PATCH] add testcase with escaped identifier using all allowed non-alphanumerical characters --- tests/escapechars.sby | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 tests/escapechars.sby diff --git a/tests/escapechars.sby b/tests/escapechars.sby new file mode 100644 index 0000000..aca209f --- /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