diff options
author | makaimann <makaim@stanford.edu> | 2019-09-18 19:34:22 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-18 19:34:22 -0700 |
commit | cfe4f59c0a10d49a35b9f59bb2fd6ab7d224e53d (patch) | |
tree | f6bdaca320b09f11b2ac92acac86b2a1b60486c2 /src/theory/decision_manager.cpp | |
parent | a9c40f60e4b36494e10520dcc3a3985b4700342f (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
Diffstat (limited to 'src/theory/decision_manager.cpp')
0 files changed, 0 insertions, 0 deletions