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

author	Aina Niemetz <aina.niemetz@gmail.com>
	Fri, 26 Feb 2021 21:28:22 +0000 (13:28 -0800)
committer	GitHub <noreply@github.com>
	Fri, 26 Feb 2021 21:28:22 +0000 (21:28 +0000)
commit	9295f225d86319626ca31975ec9ee53dc8788a2e
tree	f0a2bba9ec2bca97046db367e532fca7cafa66e5	tree
parent	f2adf69b7c364b45f75c3b5027d8a24213fd4001	commit \| diff

google test: theory: Migrate theory_sets_type_enumerator_white. (#6000)

14 files changed:

test/unit/theory/CMakeLists.txt		diff \| blob \| history
test/unit/theory/evaluator_white.cpp		diff \| blob \| history
test/unit/theory/regexp_operation_black.cpp		diff \| blob \| history
test/unit/theory/sequences_rewriter_white.cpp		diff \| blob \| history
test/unit/theory/strings_rewriter_white.cpp		diff \| blob \| history
test/unit/theory/theory_bags_normal_form_white.cpp		diff \| blob \| history
test/unit/theory/theory_bags_rewriter_white.cpp		diff \| blob \| history
test/unit/theory/theory_bags_type_rules_white.cpp		diff \| blob \| history
test/unit/theory/theory_black.cpp		diff \| blob \| history
test/unit/theory/theory_bv_rewriter_white.cpp		diff \| blob \| history
test/unit/theory/theory_bv_white.cpp		diff \| blob \| history
test/unit/theory/theory_engine_white.cpp		diff \| blob \| history
test/unit/theory/theory_sets_type_enumerator_white.cpp	[new file with mode: 0644]	blob
test/unit/theory/theory_sets_type_enumerator_white.h	[deleted file]	blob \| history