projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4f38d6) | patch
Do not notify during equality engine initialization (#6817)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 30 Jun 2021 18:09:45 +0000 (13:09 -0500)
committerGitHub <noreply@github.com>
Wed, 30 Jun 2021 18:09:45 +0000 (18:09 +0000)
commit6e502dbc3def28d0530218a0a2374e9e4c1a946d
treea8410efdce983a264e013b594fca4f3bbb6b36f7tree
parenta4f38d64da67dda3bba7a132328e5477807837b9commit | diff
Do not notify during equality engine initialization (#6817)

This is an alternative fix to https://github.com/cvc5/cvc5/pull/6808.

This ensures that we do not notify the provided class of an equality engine during initialization.
src/theory/uf/equality_engine.cpp diff | blob | history
src/theory/uf/equality_engine.h diff | blob | history