projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3aae639) | patch
Remove comment about model value hack (#2118)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 28 Jun 2018 23:11:23 +0000 (18:11 -0500)
committerAndres Noetzli <andres.noetzli@gmail.com>
Thu, 28 Jun 2018 23:11:23 +0000 (16:11 -0700)
commit040f30fe51dd767011af728d4d8ab83b75e4efd9
tree60efd16412042671b1ce21a61ceed9fdd2f80960tree
parent3aae63919df61895d956f9cca5049bfac7980b9ccommit | diff
Remove comment about model value hack (#2118)

This fixes #821.

For some background, some special cases were added to equality engine and theory engine a few years ago to handle constants properly. As a result of these changes, a comment in the code was added about a HACK for getModelValue, but the code is completely reasonable looking to me (it says that the model value of a constant is itself). This PR removes that comment.

From what I can tell issue #821 can be closed.
src/theory/theory_engine.cpp diff | blob | history