projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4587d40) | patch
Rename fixtures in test/unit/base to conform to naming scheme. (#6157)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 17 Mar 2021 08:40:21 +0000 (01:40 -0700)
committerGitHub <noreply@github.com>
Wed, 17 Mar 2021 08:40:21 +0000 (08:40 +0000)
commit3cd566ac1d3a43426429f21a86cb8a58ab2e0761
tree3d5f5c56db49e413d97b01dfc42470d6d79b31bbtree
parent4587d4000e2544765ce940c4bd3bcaec42ca6507commit | diff
Rename fixtures in test/unit/base to conform to naming scheme. (#6157)

Naming scheme is `Test<directory><Black|White><name>`.
test/unit/base/map_util_black.cpp diff | blob | history