diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-04-12 16:30:53 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-04-12 16:30:53 -0700 |
| commit | d880f73c79d897107a54f7734c2a1dea302c930c (patch) | |
| tree | d4fbb25c6b59707ecb6645672c9f336e142da0c9 /tests/various | |
| parent | 2217d59e299ce0cc15887d53308d7b7cb6400c52 (diff) | |
| parent | db1a5ec6a2a437b296e7ba9de78afaf3b440327f (diff) | |
| download | yosys-d880f73c79d897107a54f7734c2a1dea302c930c.tar.gz yosys-d880f73c79d897107a54f7734c2a1dea302c930c.tar.bz2 yosys-d880f73c79d897107a54f7734c2a1dea302c930c.zip | |
Merge remote-tracking branch 'origin/master' into xaig
Diffstat (limited to 'tests/various')
| -rw-r--r-- | tests/various/muxcover.ys | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tests/various/muxcover.ys b/tests/various/muxcover.ys index 7ac460f13..594e62af6 100644 --- a/tests/various/muxcover.ys +++ b/tests/various/muxcover.ys @@ -8,12 +8,13 @@ read_verilog -formal <<EOT 3'b?1?: Y = B; 3'b1??: Y = C; 3'b000: Y = D; + default: Y = 'bx; endcase endmodule EOT -## Examle usage for "pmuxtree" and "muxcover" +## Example usage for "pmuxtree" and "muxcover" proc pmuxtree @@ -35,7 +36,7 @@ read_verilog -formal <<EOT 3'b010: Y = B; 3'b100: Y = C; 3'b000: Y = D; - default: Y = 'bx; + default: Y = 'bx; endcase endmodule EOT |