diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-11-08 14:25:26 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-08 17:25:26 +0000 |
| commit | d35d44fc3243a31f1429689c09360a3aa70c0bae (patch) | |
| tree | 55473baa9f8c78996fa011ee924f01922c52d5cb /test/regress/regress1/sets/issue5342_difference_version.smt2 | |
| parent | 8e7b2778362ee10f5e4226b30efd1bc16e81bc6e (diff) | |
[proofs] Adding NoSubtype node converter to Alethe (#7587)
Initial version. It'll be improved on demand according to new cases that may lead to issues.
Diffstat (limited to 'test/regress/regress1/sets/issue5342_difference_version.smt2')
0 files changed, 0 insertions, 0 deletions