projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e084685) | patch
Delete obsolete unit tests for Expr and ExprManager. (#5631)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 9 Dec 2020 05:23:03 +0000 (21:23 -0800)
committerGitHub <noreply@github.com>
Wed, 9 Dec 2020 05:23:03 +0000 (23:23 -0600)
commit6fdac54fe0153bb17eca1c01eb5bd45b9418c596
treeccf70402e96d2ba0ad7dab97c3d80ad0c73fc595tree
parente0846857d7f0a926203695315b565b3541175525commit | diff
Delete obsolete unit tests for Expr and ExprManager. (#5631)

This is already in preparation for removing the Expr layer.
test/unit/expr/CMakeLists.txt diff | blob | history
test/unit/expr/expr_manager_public.h [deleted file] blob | history
test/unit/expr/expr_public.h [deleted file] blob | history