git.libre-soc.org Git - cvc5.git/commit

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Fri, 24 Aug 2018 23:49:22 +0000 (18:49 -0500)
committer	GitHub <noreply@github.com>
	Fri, 24 Aug 2018 23:49:22 +0000 (18:49 -0500)
commit	1802e870876d0595d8f6e1f8f283cc6d1f03f13d
tree	bcd98e19562f530877f7e178f5f8b0a615f3dbf8	tree
parent	b15739e75b2b6b7c0cc2ac31c92ece3e6aae71be	commit \| diff

Fix more simple coverity warnings (#2372)

14 files changed:

src/theory/datatypes/theory_datatypes.cpp		diff \| blob \| history
src/theory/datatypes/theory_datatypes.h		diff \| blob \| history
src/theory/quantifiers/cegqi/ceg_bv_instantiator.cpp		diff \| blob \| history
src/theory/quantifiers/cegqi/inst_strategy_cbqi.cpp		diff \| blob \| history
src/theory/quantifiers/cegqi/inst_strategy_cbqi.h		diff \| blob \| history
src/theory/quantifiers/conjecture_generator.cpp		diff \| blob \| history
src/theory/quantifiers/conjecture_generator.h		diff \| blob \| history
src/theory/quantifiers/ematching/candidate_generator.cpp		diff \| blob \| history
src/theory/quantifiers/first_order_model.cpp		diff \| blob \| history
src/theory/quantifiers/first_order_model.h		diff \| blob \| history
src/theory/quantifiers/fmf/model_builder.cpp		diff \| blob \| history
src/theory/quantifiers/fmf/model_builder.h		diff \| blob \| history
src/theory/sets/theory_sets_private.cpp		diff \| blob \| history
src/theory/sets/theory_sets_private.h		diff \| blob \| history