projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 690a392) | patch
Add unit test to cover previous failure with second solver instance. (#7565)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 3 Nov 2021 21:52:36 +0000 (14:52 -0700)
committerGitHub <noreply@github.com>
Wed, 3 Nov 2021 21:52:36 +0000 (21:52 +0000)
commit79cbac66b3676cfcaeb9739ad046084f6328ac74
treeb2cffeb9ef2657fd273a0f3d8db0aedc71515ef2tree
parent690a3926569a29217df5000cfb673cc407ada356commit | diff
Add unit test to cover previous failure with second solver instance. (#7565)

Fixes #5893.
test/unit/api/solver_black.cpp diff | blob | history