projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1339e2a) | patch
Update Expr-level unit tests that depend on datatypes to Node (#4860)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 11 Aug 2020 20:56:24 +0000 (15:56 -0500)
committerGitHub <noreply@github.com>
Tue, 11 Aug 2020 20:56:24 +0000 (13:56 -0700)
commit0cccfea1233b918c18ec2e1268fd786983074261
tree8d8f5ae243453aab314e91d1283c24680a0f191etree
parent1339e2a3b884d34a9c27eb45bb6847a493fe0365commit | diff
Update Expr-level unit tests that depend on datatypes to Node (#4860)

In preparation for eliminating the Expr-level datatype.
test/unit/expr/expr_public.h diff | blob | history
test/unit/expr/node_black.h diff | blob | history
test/unit/expr/type_cardinality_public.h diff | blob | history
test/unit/theory/theory_sets_type_enumerator_white.h diff | blob | history