diff options
| author | Adam Izraelevitz | 2019-02-21 21:21:15 -0800 |
|---|---|---|
| committer | mergify[bot] | 2019-02-22 05:21:15 +0000 |
| commit | ea43e484959d4edd031a1420a775204aac41aa13 (patch) | |
| tree | 22488312214f628c5f4be2234253f78b266c4494 /scripts | |
| parent | b3833821a50eb7b08fe75f3729ef57355d5765ec (diff) | |
Bump yosys to 0.8 (#1029)
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/formal_equiv.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/formal_equiv.sh b/scripts/formal_equiv.sh index 407ae753..8214e56b 100755 --- a/scripts/formal_equiv.sh +++ b/scripts/formal_equiv.sh @@ -61,7 +61,7 @@ else equiv_make top1 top2 equiv hierarchy -top equiv clean -purge - equiv_simple + equiv_simple -short equiv_induct equiv_status -assert " |