projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3cd566a) | patch
Rename fixtures in test/unit/context to conform to naming scheme. (#6158)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 17 Mar 2021 17:47:39 +0000 (10:47 -0700)
committerGitHub <noreply@github.com>
Wed, 17 Mar 2021 17:47:39 +0000 (17:47 +0000)
commitfe72d5a3fce499092c842b48df997eb0aa54fc05
treecd1ce02de5944ea51d6c81b8723e43b2ff6763c3tree
parent3cd566ac1d3a43426429f21a86cb8a58ab2e0761commit | diff
Rename fixtures in test/unit/context to conform to naming scheme. (#6158)

Naming scheme is `Test<directory><Black|White><name>`.
test/unit/context/CMakeLists.txt diff | blob | history
test/unit/context/cdhashmap_black.cpp [new file with mode: 0644] blob
test/unit/context/cdhashmap_white.cpp [new file with mode: 0644] blob
test/unit/context/cdlist_black.cpp diff | blob | history
test/unit/context/cdmap_black.cpp [deleted file] blob | history
test/unit/context/cdmap_white.cpp [deleted file] blob | history
test/unit/context/cdo_black.cpp diff | blob | history
test/unit/context/context_mm_black.cpp diff | blob | history