diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-16 10:38:15 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-16 10:38:15 +0100 |
commit | 04964c70f5afd95d66fc76945e62dce773a3b3bc (patch) | |
tree | 7b42f4cc08f327519fed40edc0872795695bc9f4 /unit-tests/uf5.smt2 | |
parent | c163813243e1b38b7d8c10b49d78a728d747e0e5 (diff) | |
download | smtcoq-04964c70f5afd95d66fc76945e62dce773a3b3bc.tar.gz smtcoq-04964c70f5afd95d66fc76945e62dce773a3b3bc.zip |
Add debugging information for uninterpreted functions
Diffstat (limited to 'unit-tests/uf5.smt2')
0 files changed, 0 insertions, 0 deletions