diff options
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 " |