diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-05-03 19:00:40 -0500 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-03 17:00:40 -0700 |
commit | 4873b5e515d8b3e5e70c42c50e8f680b26ba2331 (patch) | |
tree | 0472c0e4dc6e4de4a1b1fba8cd08dff10c06111a /test/regress/regress0/sets/insert.smt2 | |
parent | 2cc0e2c6a691fb6d30ed8879832b49bc1f277d77 (diff) |
Sets subtypes (#1095)
Make sets theory properly handle equalities between (Set T1) and (Set T2) whenever equalities between T1 and T2 are also handled. Generalizes previous approach for type correctness conditions. Add regression.
Diffstat (limited to 'test/regress/regress0/sets/insert.smt2')
0 files changed, 0 insertions, 0 deletions