projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 85d00e8) | patch
Fix justification heuristic again (#6074)
authorGereon Kremer <gkremer@stanford.edu>
Mon, 8 Mar 2021 14:46:30 +0000 (15:46 +0100)
committerGitHub <noreply@github.com>
Mon, 8 Mar 2021 14:46:30 +0000 (15:46 +0100)
commitd7dc81173107bf65b9a90e163a1e85ce7b3c20ff
tree84f606979b4a52fa99c7f49d9ed74ffe3a281295tree
parent85d00e88892a16e63e520c0c1bde713352316b79commit | diff
Fix justification heuristic again (#6074)

This PR replaces all TNode types in datatypes by Node within justification heuristic.
Fixes #6073.
Unfortunately, the example from #6073 times out now, thus there is no new regression.
src/decision/justification_heuristic.h diff | blob | history