diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-07-09 20:07:21 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-09 20:07:21 -0500 |
commit | ba7cda7a9cb02a38b1cf8fd9fbd85304a9056a5e (patch) | |
tree | 3d7d957f19d6cda9de4022c93c9ea01fad4fe6b8 /contrib/competitions/sygus-comp/run-script-sygusComp-current-GENERAL-auto | |
parent | 8ff3b306b7b35bc1040a6caee759929c4e497373 (diff) |
Ensure legal elimination for witness rewrite (#4688)
Fixes #4685.
A recent commit #4661 added assertions for checking whether a witness rewrite corresponded to a legal elimination. #4685 demonstrates that these assertions can be violated and hence should be checked to ensure the rewrite is sound.
Diffstat (limited to 'contrib/competitions/sygus-comp/run-script-sygusComp-current-GENERAL-auto')
0 files changed, 0 insertions, 0 deletions