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

author	Andres Noetzli <andres.noetzli@gmail.com>
	Thu, 23 Aug 2018 23:28:21 +0000 (16:28 -0700)
committer	Aina Niemetz <aina.niemetz@gmail.com>
	Thu, 23 Aug 2018 23:28:21 +0000 (16:28 -0700)
commit	11a34205808098e503f145b2a779078dd509729e
tree	bd4a69d62192273d4de237d8c7252448cef41c95	tree
parent	860ae582f334bea2835806b0d5044ca1b6e90d76	commit \| diff

Add missing overrides in unit tests (#2362)

42 files changed:

test/unit/base/map_util_black.h		diff \| blob \| history
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/cdo_black.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/context/context_white.h		diff \| blob \| history
test/unit/expr/attribute_black.h		diff \| blob \| history
test/unit/expr/attribute_white.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_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/node_self_iterator_black.h		diff \| blob \| history
test/unit/expr/node_white.h		diff \| blob \| history
test/unit/expr/symbol_table_black.h		diff \| blob \| history
test/unit/expr/type_cardinality_public.h		diff \| blob \| history
test/unit/expr/type_node_white.h		diff \| blob \| history
test/unit/main/interactive_shell_black.h		diff \| blob \| history
test/unit/parser/parser_black.h		diff \| blob \| history
test/unit/parser/parser_builder_black.h		diff \| blob \| history
test/unit/preprocessing/pass_bv_gauss_white.h		diff \| blob \| history
test/unit/prop/cnf_stream_white.h		diff \| blob \| history
test/unit/theory/evaluator_white.h		diff \| blob \| history
test/unit/theory/theory_arith_white.h		diff \| blob \| history
test/unit/theory/theory_black.h		diff \| blob \| history
test/unit/theory/theory_bv_white.h		diff \| blob \| history
test/unit/theory/theory_quantifiers_bv_instantiator_white.h		diff \| blob \| history
test/unit/theory/theory_strings_rewriter_white.h		diff \| blob \| history
test/unit/theory/theory_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/binary_heap_black.h		diff \| blob \| history
test/unit/util/bitvector_black.h		diff \| blob \| history
test/unit/util/datatype_black.h		diff \| blob \| history
test/unit/util/exception_black.h		diff \| blob \| history
test/unit/util/listener_black.h		diff \| blob \| history
test/unit/util/output_black.h		diff \| blob \| history

RSS Atom