projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08800bd) | patch
api: Add guard against querying value from term with free vars. (#7529)
authorMathias Preiner <mathias.preiner@gmail.com>
Sun, 31 Oct 2021 19:47:28 +0000 (12:47 -0700)
committerGitHub <noreply@github.com>
Sun, 31 Oct 2021 19:47:28 +0000 (19:47 +0000)
commit47ddb344f317496928dddd4b017867b8c07dbded
tree2e6bea17492542cb7e52d97679e33db7a8ebdfabtree
parent08800bd63da929fd0439d0e743ace1a71aeffa14commit | diff
api: Add guard against querying value from term with free vars. (#7529)
src/api/cpp/cvc5.cpp diff | blob | history