projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b551a2b) | patch
Move tests around (#8670)
authorGereon Kremer <gkremer@cs.stanford.edu>
Thu, 28 Apr 2022 18:30:46 +0000 (11:30 -0700)
committerGitHub <noreply@github.com>
Thu, 28 Apr 2022 18:30:46 +0000 (18:30 +0000)
commit9dc2d55ce20f4b69b651ac75e28d3de0704b3520
treea91399b92ab398a50c64586778e6d930d1c2141ftree
parentb551a2b5d950f495d9309cb754c9c89abda95ffacommit | diff
Move tests around (#8670)

This PR moves two tests that dealt with particular issues out of unit/api/cpp (which should only have generic unit tests). They are now in unit/theory and api/cpp/.
test/api/cpp/CMakeLists.txt diff | blob | history
test/api/cpp/proj-issue388.cpp [new file with mode: 0644] blob
test/api/cpp/proj-issue421.cpp [new file with mode: 0644] blob
test/api/cpp/proj-issue455.cpp [new file with mode: 0644] blob
test/unit/api/cpp/CMakeLists.txt diff | blob | history
test/unit/api/cpp/theory_arith_nl_black.cpp [deleted file] blob | history
test/unit/api/cpp/theory_uf_ho_black.cpp [deleted file] blob | history
test/unit/theory/CMakeLists.txt diff | blob | history
test/unit/theory/theory_uf_ho_black.cpp [new file with mode: 0644] blob