diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-16 10:51:09 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-16 10:51:09 -0700 |
| commit | 8d3f6d0d792a1cd688ce4d9c05bef8ec601f9334 (patch) | |
| tree | 77989287ebd9e764b0d8fcfb4af900395aa9e2f7 /tests | |
| parent | c2804a68c2d4d198e72be7a8c0164093c1e62fce (diff) | |
| parent | e8a841467f4ddd85acfcfbcda2cd28d43e75341a (diff) | |
| download | yosys-8d3f6d0d792a1cd688ce4d9c05bef8ec601f9334.tar.gz yosys-8d3f6d0d792a1cd688ce4d9c05bef8ec601f9334.tar.bz2 yosys-8d3f6d0d792a1cd688ce4d9c05bef8ec601f9334.zip | |
Merge pull request #1928 from YosysHQ/eddie/design_delete
kernel: add design -delete option
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/various/design.ys | 9 | ||||
| -rw-r--r-- | tests/various/design2.ys | 9 |
2 files changed, 18 insertions, 0 deletions
diff --git a/tests/various/design.ys b/tests/various/design.ys new file mode 100644 index 000000000..f13ad8171 --- /dev/null +++ b/tests/various/design.ys @@ -0,0 +1,9 @@ +read_verilog <<EOT +module top(input i, output o); +assign o = i; +endmodule +EOT +design -stash foo +design -delete foo +logger -expect error "No saved design 'foo' found!" 1 +design -delete foo diff --git a/tests/various/design2.ys b/tests/various/design2.ys new file mode 100644 index 000000000..399999020 --- /dev/null +++ b/tests/various/design2.ys @@ -0,0 +1,9 @@ +read_verilog <<EOT +module top(input i, output o); +assign o = i; +endmodule +EOT +design -stash foo +design -delete foo +logger -expect error "No saved design 'foo' found!" 1 +design -load foo |