We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 41cd8e5 commit 8b73075Copy full SHA for 8b73075
tests/escapechars.sby
@@ -0,0 +1,25 @@
1
+[options]
2
+mode bmc
3
+depth 1
4
+expect fail
5
+wait on
6
+
7
+[engines]
8
+smtbmc yices
9
+smtbmc boolector
10
+btor btormc
11
+abc bmc3
12
13
14
+[script]
15
+read -sv escapechars.v
16
+prep -top test
17
18
+[file escapechars.v]
19
+module test(
20
+input \foo!"#$%&'()*+,-./:;<=>?@[\]^_`{|}~bar
21
+);
22
+always @* begin
23
+assert (\foo!"#$%&'()*+,-./:;<=>?@[\]^_`{|}~bar );
24
+end
25
+endmodule
0 commit comments