projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4844afa) | patch
Properly initialize d_fullyInited. (#4840)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Tue, 4 Aug 2020 11:32:21 +0000 (13:32 +0200)
committerGitHub <noreply@github.com>
Tue, 4 Aug 2020 11:32:21 +0000 (06:32 -0500)
commit98e426dae609dcc94b0c5bde9d804332493e9175
treef5a35385c2a67c0ed21e2c0a55254fff0c1c256ftree
parent4844afa3d254bdabac397556e166a2534bb6c2accommit | diff
Properly initialize d_fullyInited. (#4840)

Fixed #4839.
The Boolean flag d_fullyInited is not properly initialized and is thus flagged by --ubsan.
src/smt/dump_manager.cpp diff | blob | history