diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2021-06-22 07:47:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-22 14:47:55 +0000 |
| commit | 6b9ff0509824bc6faf1dd95981189410a4fa60e4 (patch) | |
| tree | 5ec94544d9ddc84b7546087878f9c0c995a25914 /test/regress/CMakeLists.txt | |
| parent | 90d19f7cdbaf41e389bdcbd099471f658a35ce98 (diff) | |
Python api unit tests for Result (#6763)
This PR translates the cpp API unit tests about results to python.
The original cpp file is: https://github.com/cvc5/cvc5/blob/master/test/unit/api/result_black.cpp
The translation made rise to one addition to the python API:
The UnknownExplanation object from the cpp API was represented by a string in the python API.
Now we have a more faithful representation, as an enum.
Diffstat (limited to 'test/regress/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions