diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-23 15:58:36 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-04-23 15:58:36 -0700 |
| commit | b84415094c193fbeb2053f0a888689ea1502e7cc (patch) | |
| tree | 20b00e07bcc9b6c7dc237ae90623545f39e44555 /tests/opt/bug1758.ys | |
| parent | e7058593f41ace45cb19aba24935a39de70733ca (diff) | |
| download | yosys-b84415094c193fbeb2053f0a888689ea1502e7cc.tar.gz yosys-b84415094c193fbeb2053f0a888689ea1502e7cc.tar.bz2 yosys-b84415094c193fbeb2053f0a888689ea1502e7cc.zip | |
tests: add opt_expr tests
Diffstat (limited to 'tests/opt/bug1758.ys')
| -rw-r--r-- | tests/opt/bug1758.ys | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tests/opt/bug1758.ys b/tests/opt/bug1758.ys new file mode 100644 index 000000000..85dfaceb8 --- /dev/null +++ b/tests/opt/bug1758.ys @@ -0,0 +1,21 @@ +read_verilog -noopt <<EOT +module gold(input i, output o); +assign o = 1'bx | i; +endmodule +EOT +copy gold coarse +copy gold fine + +cd coarse +opt_expr +select -assert-none c:* + +cd fine +opt_expr +select -assert-none c:* + +cd +miter -equiv -flatten -make_assert -make_outputs coarse fine miter +sat -verify -prove-asserts -show-ports miter +miter -equiv -flatten -make_assert -make_outputs -ignore_gold_x gold coarse miter2 +sat -verify -prove-asserts -show-ports -enable_undef miter2 |