summaryrefslogtreecommitdiff
path: root/test/unit/base
AgeCommit message (Expand)Author
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-17Rename fixtures in test/unit/base to conform to naming scheme. (#6157)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-01-12google test: Use ASSERT_* instead of EXPECT_*. (#5765)Aina Niemetz
2020-12-03google test: Add fixture for context tests. (#5590)Aina Niemetz
2020-12-02google test: base: Migrate map_util_black. (#5580)Aina Niemetz
2020-12-01google test: Infrastructure and first api test. (#5548)Aina Niemetz
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-06-16Update copyright headers.Aina Niemetz
2019-03-26Update copyright headers.Aina Niemetz
2018-09-22cmake: Refactor cvc4_add_unit_test macro to support test names with '/'.Aina Niemetz
2018-09-22cmake: More documentation, clean up.Aina Niemetz
2018-09-22cmake: Add target units.Aina Niemetz
2018-08-23Add missing overrides in unit tests (#2362)Andres Noetzli
2018-08-08 Proposal for adding map utility functions to CVC4. (#2232)Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback