projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04c1d3b) | patch
Add `isNull` and `isUpdater` to `Sort` class of python API (#7423)
authoryoni206 <yoni206@users.noreply.github.com>
Wed, 20 Oct 2021 22:18:33 +0000 (01:18 +0300)
committerGitHub <noreply@github.com>
Wed, 20 Oct 2021 22:18:33 +0000 (22:18 +0000)
commitc7a319286027448d678327f3e950b2e6138a6abb
tree8336db71a55415860bfa9d14139ff93e38547d41tree
parent04c1d3b5c6af01c77a6c38e24847d4458a14ef3bcommit | diff
Add `isNull` and `isUpdater` to `Sort` class of python API  (#7423)

This adds two missing functions to the python API, along with tests for them. It also adds a missing test for the cpp API.
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/python/unit/api/test_sort.py diff | blob | history
test/unit/api/sort_black.cpp diff | blob | history