projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87453ed) | patch
checkModel: Extend documentation. (#7177)
authorAina Niemetz <aina.niemetz@gmail.com>
Sat, 11 Sep 2021 04:33:19 +0000 (21:33 -0700)
committerGitHub <noreply@github.com>
Sat, 11 Sep 2021 04:33:19 +0000 (04:33 +0000)
commitb85e8a3d3f66ca844dc9b4790cd549a8dd0739a7
tree169419f531a23b7cfe2229c68e36369452b736cctree
parent87453ed0f6fd123a54c7f17b958b2c2c9ca9d47bcommit | diff
checkModel: Extend documentation. (#7177)

Add comment that partial operators are one reason that the current
assertion cannot be checked.
src/smt/check_models.cpp diff | blob | history