projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a82b7fb) | patch
Minor changes to circuit propagator (#7584)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Fri, 5 Nov 2021 17:45:00 +0000 (14:45 -0300)
committerGitHub <noreply@github.com>
Fri, 5 Nov 2021 17:45:00 +0000 (17:45 +0000)
commit4a5cc46097fa1c7b601d4275f0cf0c5af9c3d97e
tree20c73a7f7b4c36eebb1bab00635fa112102a0ad4tree
parenta82b7fb2760e705aba57516fc32041214e701559commit | diff
Minor changes to circuit propagator (#7584)

Previously in a given part of the code a proof would be retrieved only so that it'd be printed. This commit guards that part of the code with whether the trace is on and gives more information in what is printed.

Also changes the style of a call.
src/theory/booleans/circuit_propagator.cpp diff | blob | history