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 /src/extraction/verit_checker.mli | |
| parent | c163813243e1b38b7d8c10b49d78a728d747e0e5 (diff) | |
| download | smtcoq-04964c70f5afd95d66fc76945e62dce773a3b3bc.tar.gz smtcoq-04964c70f5afd95d66fc76945e62dce773a3b3bc.zip | |
Add debugging information for uninterpreted functions
Diffstat (limited to 'src/extraction/verit_checker.mli')
0 files changed, 0 insertions, 0 deletions