projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0b0aeb) | patch
google test: Add fixture for context tests. (#5590)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 3 Dec 2020 19:29:58 +0000 (11:29 -0800)
committerGitHub <noreply@github.com>
Thu, 3 Dec 2020 19:29:58 +0000 (11:29 -0800)
commit8e1dc557383f754e33399b6b0f783e7048732df0
tree540b638ae6add3ff5b2557f45ec06dd6e9151635tree
parenta0b0aebf36c2ba54edc3ae58dc8270a74560d840commit | diff
google test: Add fixture for context tests. (#5590)

Context test PRs will be updated to use this after this is merged to
master.
test/unit/api/datatype_api_black.cpp diff | blob | history
test/unit/api/grammar_black.cpp diff | blob | history
test/unit/api/op_black.cpp diff | blob | history
test/unit/api/result_black.cpp diff | blob | history
test/unit/api/term_black.cpp diff | blob | history
test/unit/base/map_util_black.cpp diff | blob | history
test/unit/test.h diff | blob | history
test/unit/test_api.h diff | blob | history
test/unit/test_context.h [new file with mode: 0644] blob