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

author	Andres Noetzli <andres.noetzli@gmail.com>
	Tue, 2 Oct 2018 17:28:38 +0000 (10:28 -0700)
committer	Aina Niemetz <aina.niemetz@gmail.com>
	Tue, 2 Oct 2018 17:28:38 +0000 (10:28 -0700)
commit	8519233cec9501f31aa1789eff60cb802c8df450
tree	60c87d9fe4c59ac565b3fdd66710229f58bc6a44	tree
parent	64a0e3f1e4a5a8e3070eeadae0f6942b290c2974	commit \| diff

Fix "catching polymorphic type by value" warnings (#2556)

When using the `TS_ASSERT_THROWS` marco from CxxTest, we have to make
sure that we use a reference type for the exception, otherwise the unit
test tries to catch the exception by value, resulting in "catching
polymorphic type by value" warnings.

22 files changed:

test/unit/context/cdlist_black.h		diff \| blob \| history
test/unit/context/cdmap_black.h		diff \| blob \| history
test/unit/context/cdmap_white.h		diff \| blob \| history
test/unit/context/context_black.h		diff \| blob \| history
test/unit/context/context_mm_black.h		diff \| blob \| history
test/unit/expr/expr_manager_public.h		diff \| blob \| history
test/unit/expr/expr_public.h		diff \| blob \| history
test/unit/expr/kind_map_black.h		diff \| blob \| history
test/unit/expr/node_black.h		diff \| blob \| history
test/unit/expr/node_builder_black.h		diff \| blob \| history
test/unit/expr/node_manager_black.h		diff \| blob \| history
test/unit/expr/node_manager_white.h		diff \| blob \| history
test/unit/expr/symbol_table_black.h		diff \| blob \| history
test/unit/theory/logic_info_white.h		diff \| blob \| history
test/unit/theory/type_enumerator_white.h		diff \| blob \| history
test/unit/util/array_store_all_black.h		diff \| blob \| history
test/unit/util/assert_white.h		diff \| blob \| history
test/unit/util/bitvector_black.h		diff \| blob \| history
test/unit/util/boolean_simplification_black.h		diff \| blob \| history
test/unit/util/cardinality_public.h		diff \| blob \| history
test/unit/util/datatype_black.h		diff \| blob \| history
test/unit/util/integer_black.h		diff \| blob \| history

RSS Atom