diff options
Diffstat (limited to 'scripts/formal_equiv.sh')
| -rw-r--r-- | scripts/formal_equiv.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/formal_equiv.sh b/scripts/formal_equiv.sh index f7b0fa40..9e744d46 100644 --- a/scripts/formal_equiv.sh +++ b/scripts/formal_equiv.sh @@ -52,6 +52,7 @@ else hierarchy -top equiv clean -purge equiv_simple + equiv_induct equiv_status -assert " fi |