projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0b2152c) | patch
Fix for sets segfault (reported by Ravi Kandhadai)
authorKshitij Bansal <kshitij@cs.nyu.edu>
Mon, 21 Sep 2015 20:12:03 +0000 (16:12 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Mon, 21 Sep 2015 20:12:03 +0000 (16:12 -0400)
commit8f51d131fedcd80db21f204a0b2447e70b1e88ea
treedade3c33e738f9a7d7c9bf095e68ae2864ccf7cctree
parent0b2152c61334b73d26f8e7f6f051f1ae64a2206dcommit | diff
Fix for sets segfault (reported by Ravi Kandhadai)

fix involves sets getModelValue handling the case when element theory
doesn't have model
src/theory/sets/theory_sets_private.cpp diff | blob | history