projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 558ceb2) | patch
Fix connection to master equality engine in sets (#4877)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 12 Aug 2020 14:18:24 +0000 (09:18 -0500)
committerGitHub <noreply@github.com>
Wed, 12 Aug 2020 14:18:24 +0000 (09:18 -0500)
commitc5a7dc772788ea3f1d568da0d8ef4effca080b9c
tree09fa1ad24590ed4512cbc22ee71c9c813ad6408atree
parent558ceb2f64877fa2cc5f1cd448147e529b5c1c02commit | diff
Fix connection to master equality engine in sets (#4877)

This corrects an issue introduced by a merge of a previous commit (b5b2858) which dropped the connection from sets to its master equality engine.

Fixes several issues in sets regressions, including a timeout in regress0.
src/theory/sets/theory_sets.cpp diff | blob | history
src/theory/sets/theory_sets.h diff | blob | history