projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f422a12) | patch
google test: api: Use individual fixture for datatype_black. (#5568)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 2 Dec 2020 20:51:06 +0000 (12:51 -0800)
committerGitHub <noreply@github.com>
Wed, 2 Dec 2020 20:51:06 +0000 (12:51 -0800)
commit412d540b56f47ab1c77700194d6a8d8c078bcda7
treedf514ad005c749dff3a26996efce2c5dd6b59dcatree
parentf422a12f247b986ae8f6941e768ed75453fd1049commit | diff
google test: api: Use individual fixture for datatype_black. (#5568)

This is to prevent name clashes with other tests.
test/unit/api/datatype_api_black.cpp diff | blob | history