projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6007962) | patch
Fix some issues with the Python API tests (#8746)
authorGereon Kremer <gkremer@cs.stanford.edu>
Tue, 10 May 2022 17:47:52 +0000 (10:47 -0700)
committerGitHub <noreply@github.com>
Tue, 10 May 2022 17:47:52 +0000 (17:47 +0000)
commitfe939c31bd286675298990d7d1865d275d982679
tree4bb55d688eb5bc4bb7b85940177a6ccfbc7cc266tree
parent6007962d5e173477ba8850141e519b49c0659c57commit | diff
Fix some issues with the Python API tests (#8746)

This PR addresses a few issues in the Python API:
    the implementation of defineFunsRec() lacked the call to the C++ function
    a bunch of tests for defineFunsRec() were missing
    the test for getInstantiations() was incorrectly named and thus not valled.
    add missing test for hashing of Sort
src/api/python/cvc5.pxi diff | blob | history
test/unit/api/python/test_solver.py diff | blob | history
test/unit/api/python/test_sort.py diff | blob | history