projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9c40f6) | patch
Add support for creating constant arrays to the new C++ API (#3296)
authormakaimann <makaim@stanford.edu>
Thu, 19 Sep 2019 02:34:22 +0000 (19:34 -0700)
committerGitHub <noreply@github.com>
Thu, 19 Sep 2019 02:34:22 +0000 (19:34 -0700)
commitcfe4f59c0a10d49a35b9f59bb2fd6ab7d224e53d
treef6bdaca320b09f11b2ac92acac86b2a1b60486c2tree
parenta9c40f60e4b36494e10520dcc3a3985b4700342fcommit | diff
Add support for creating constant arrays to the new C++ API (#3296)

* Add support for constant arrays to new C++ API

* Fix macro usage in unit test

* Add not null check

* Add test for null term

* Formatting
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
test/unit/api/solver_black.h diff | blob | history