projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31681c7) | patch
Fix condition in upwards closure check for sets
authorAndres Noetzli <noetzli@stanford.edu>
Mon, 15 May 2017 15:50:21 +0000 (08:50 -0700)
committerAndres Noetzli <noetzli@stanford.edu>
Mon, 15 May 2017 15:50:21 +0000 (08:50 -0700)
commit84af3731aa40e2e6f9281827af87350a2cb44ea1
treeb159cbd1388df5afa23e14d1070ec812273b42c5tree
parent31681c7ff2a1469f5efc325fc1b3a406e3a85949commit | diff
Fix condition in upwards closure check for sets

Coverity reported this mismatched iterator.
src/theory/sets/theory_sets_private.cpp diff | blob | history