projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0990432) | patch
Improve options tests (#7761)
authorGereon Kremer <gkremer@stanford.edu>
Wed, 8 Dec 2021 00:14:55 +0000 (16:14 -0800)
committerGitHub <noreply@github.com>
Wed, 8 Dec 2021 00:14:55 +0000 (00:14 +0000)
commit2544e68bb28b2df9c1eb231008e3a4e2719c2d1a
treecb326ccf0505ac8a752fd68c4e0c31e573460c9dtree
parent099043243897f4d216224e7be652a00a81e9bb6ccommit | diff
Improve options tests (#7761)

This PR adds unit tests for a few more corners of the options code.
test/unit/options/options_black.cpp diff | blob | history