diff options
| author | makaimann <makaim@stanford.edu> | 2020-06-29 14:28:17 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-29 14:28:17 -0700 |
| commit | 5cd6f0e5e910ad61ebc5045170842078818a3b80 (patch) | |
| tree | 0abfb436badd2bdb2e3616588ece81af0ccbb5ed /test/unit/theory/theory_black.h | |
| parent | 8799bd979c40477d250cada8b498ce344ae61ab6 (diff) | |
Python Sort tests (#4639)
This commit ports over the sort_black tests to the pytest infrastructure to test the Python bindings. It also adds missing functionality that was revealed during the testing.
Diffstat (limited to 'test/unit/theory/theory_black.h')
0 files changed, 0 insertions, 0 deletions