projects
/
yosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b3f162e
)
Add test
author
Eddie Hung
<eddie@fpgeh.com>
Fri, 28 Jun 2019 20:32:09 +0000
(13:32 -0700)
committer
Eddie Hung
<eddie@fpgeh.com>
Fri, 28 Jun 2019 20:32:09 +0000
(13:32 -0700)
tests/various/script.ys
[new file with mode: 0644]
patch
|
blob
diff --git a/tests/various/script.ys
b/tests/various/script.ys
new file mode 100644
(file)
index 0000000..
6044ad9
--- /dev/null
+++ b/
tests/various/script.ys
@@ -0,0
+1,17
@@
+read_verilog -formal <<EOT
+ module top;
+ foo bar();
+ foo asdf();
+ winnie the_pooh();
+
+ wire [1023:0] _RUNME0 = "select -assert-count 2 t:foo";
+ wire [1023:0] _RUNME1 = "select -assert-count 1 t:winnie";
+ wire [1023:0] _DELETE = "delete c:bar";
+ endmodule
+EOT
+
+script -select w:_RUNME*
+
+select w:_DELETE
+script -select
+select -assert-count 1 t:foo