projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13c3b73) | patch
Add oracle caller utility (#8599)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 12 Apr 2022 14:59:14 +0000 (09:59 -0500)
committerGitHub <noreply@github.com>
Tue, 12 Apr 2022 14:59:14 +0000 (14:59 +0000)
commit0dff5a6cbccb75c2ef1247243c30c0979d3d7617
treed8a1b9189d797a8748cda73b7fa1cda4ba5e1b98tree
parent13c3b7355c5bf0ed749f9be9b1cefb7262d08353commit | diff
Add oracle caller utility (#8599)

The implementation of this class has a placeholder for calling external binaries, which will be filled in a later PR.
src/expr/CMakeLists.txt diff | blob | history
src/expr/oracle_caller.cpp [new file with mode: 0644] blob
src/expr/oracle_caller.h [new file with mode: 0644] blob