projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9fc3956) | patch
Add unit test for fixed issue with get-difficulty (#8060)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 18 Feb 2022 23:33:00 +0000 (17:33 -0600)
committerGitHub <noreply@github.com>
Fri, 18 Feb 2022 23:33:00 +0000 (23:33 +0000)
commit4683179f4aff1a1b3e797cea23f8f06ed121a406
tree67a7744b22de2df90254e8c4bd73de30a1a65b91tree
parent9fc39569250d3f503401e003d5cfacd0dd352691commit | diff
Add unit test for fixed issue with get-difficulty (#8060)

Fixed by recent updates to get-difficulty.

Fixes cvc5/cvc5-projects#434.
test/unit/api/cpp/solver_black.cpp diff | blob | history