diff options
author | Gereon Kremer <gkremer@stanford.edu> | 2021-12-07 20:16:03 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-08 04:16:03 +0000 |
commit | 881464ade13c187e9455e2f4cb9b5d6a8682c536 (patch) | |
tree | a971eea63a5d2111ff1ac690d5350dab05443340 /test/unit/api/python/test_grammar.py | |
parent | a8e45781feeb2d3fe9556de69e25c190f0030501 (diff) |
Turn kinds in python API into a proper Enum (#7686)
This PR does multiple things:
- the kinds are changed from custom objects to a proper enum.Enum class
(including according changes to the cython code and the kind generation scripts)
- all examples and tests are modified to account for the change how to use kinds
(Kind instead of kinds)
- add docstrings to the kind enum values
- add a custom documenter that properly renders enums via autodoc
- extend doxygen setup so that we can write comments as rst (allowing us to copy
the documentation for kinds from the cpp api to the other apis)
Diffstat (limited to 'test/unit/api/python/test_grammar.py')
-rw-r--r-- | test/unit/api/python/test_grammar.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/api/python/test_grammar.py b/test/unit/api/python/test_grammar.py index db567a6ba..6225844e3 100644 --- a/test/unit/api/python/test_grammar.py +++ b/test/unit/api/python/test_grammar.py @@ -16,7 +16,7 @@ import pytest import pycvc5 -from pycvc5 import kinds, Term +from pycvc5 import Term @pytest.fixture |