projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cafc00b) | patch
Fix type comparisons involving pointer. (#4738)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 14 Jul 2020 01:52:02 +0000 (20:52 -0500)
committerGitHub <noreply@github.com>
Tue, 14 Jul 2020 01:52:02 +0000 (20:52 -0500)
commit84fe644cb1956119b7b35ede06ee93583eae1925
treef33e38a0bbd2aef8632afd1f6753c85b02f70635tree
parentcafc00bd77aa08ae58a695f6364c3ca0f538e9d8commit | diff
Fix type comparisons involving pointer. (#4738)

Fixes debug regressions, introduced by a combination of the addition of sequence update and the change to pointers.
src/expr/sequence.cpp diff | blob | history