projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c895b7) | patch
Add internal synth result class (#8352)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 23 Mar 2022 14:13:47 +0000 (09:13 -0500)
committerGitHub <noreply@github.com>
Wed, 23 Mar 2022 14:13:47 +0000 (14:13 +0000)
commitc3a9047acfbd610e923dafd4ea6102913dee5644
tree85a01b7ae0cfd0f91ede1e85c75231c34da4834etree
parent7c895b75068b037d2abb36fa9d88bd87847aa641commit | diff
Add internal synth result class (#8352)

This is in preparation for refactoring the return values of several API methods.
src/util/CMakeLists.txt diff | blob | history
src/util/result.h diff | blob | history
src/util/synth_result.cpp [new file with mode: 0644] blob
src/util/synth_result.h [new file with mode: 0644] blob