projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb4274d) | patch
Proper error for using constructor in multiple datatypes (#7738)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 3 Dec 2021 17:57:11 +0000 (11:57 -0600)
committerGitHub <noreply@github.com>
Fri, 3 Dec 2021 17:57:11 +0000 (17:57 +0000)
commit9dcbbeb865a1efd1575811cab5da8dba08560b2f
tree0cca54ce9c81fc5aed5f901c67721b206f40accftree
parentcb4274dd5dfc403b410b63de2b396cdd323d2e9fcommit | diff
Proper error for using constructor in multiple datatypes (#7738)

Now gives error cannot use a constructor for multiple datatypes.

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