diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-20 14:53:07 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-20 14:53:07 -0500 |
commit | a76b222149e828ed0fe7fb6e91684552dc7b64ec (patch) | |
tree | daed349df6924755c2a1e32d601f03328aa00da7 /test/regress/regress0/sygus/inv-different-var-order.sy | |
parent | ecf3e9c874095e836b5ea4d9bed6b063b2a5f108 (diff) |
Add SCOPE proof rule (#4332)
This rule is dual to ASSUME. It is a way of closing free assumptions to conclude an implication.
It also changes getId -> getRule.
Diffstat (limited to 'test/regress/regress0/sygus/inv-different-var-order.sy')
0 files changed, 0 insertions, 0 deletions