projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aedccbd) | patch
Properly guard sort instantiate (#8247)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 15 Mar 2022 18:47:36 +0000 (13:47 -0500)
committerGitHub <noreply@github.com>
Tue, 15 Mar 2022 18:47:36 +0000 (18:47 +0000)
commit030cea7270b61225d24c0768613dd73317b8e21d
treea5ed4ade86b41baa57e50e1bba7bf1409dbb21a7tree
parentaedccbd629c5af0cbc960a170fad47f10f332da9commit | diff
Properly guard sort instantiate (#8247)

Fixes cvc5/cvc5-projects#387.

Adds a prefix of that unit test before the first exception.
src/api/cpp/cvc5.cpp diff | blob | history
test/unit/api/cpp/CMakeLists.txt diff | blob | history
test/unit/api/cpp/parametric_datatype_black.cpp [new file with mode: 0644] blob