projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab27181) | patch
Use consistent names for fixtures in unit tests. (#5863)
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 8 Feb 2021 17:55:38 +0000 (09:55 -0800)
committerGitHub <noreply@github.com>
Mon, 8 Feb 2021 17:55:38 +0000 (09:55 -0800)
commit2ee190b7b4ead29ef34e3eb115457ff3e21afbab
tree7a6ae311a97160a3f8bd8a5aef5f1b42f28a832ctree
parentab271818bb73efaedb5ac2d861d782308025dab5commit | diff
Use consistent names for fixtures in unit tests. (#5863)
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/solver_black.cpp diff | blob | history
test/unit/api/sort_black.cpp diff | blob | history
test/unit/api/term_black.cpp diff | blob | history
test/unit/expr/node_black.cpp diff | blob | history
test/unit/expr/node_builder_black.cpp diff | blob | history