projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e29a86f) | patch
syqi: Add debug information for dumping instantiations. (#6978)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 4 Aug 2021 19:38:24 +0000 (12:38 -0700)
committerGitHub <noreply@github.com>
Wed, 4 Aug 2021 19:38:24 +0000 (19:38 +0000)
commitad59051f029507a6c49411b71b9c67467a53660d
treee132ac89f4a68fadd32326d1c86aa1ba89b3c767tree
parente29a86f380354371dee1e5032034a2fe5edfee16commit | diff
syqi: Add debug information for dumping instantiations. (#6978)

Adds the datatype values as debug information for dumping instantiations produced by --sygus-inst.
src/theory/quantifiers/sygus_inst.cpp diff | blob | history