diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2021-05-12 22:32:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-13 05:32:55 +0000 |
| commit | 304064c6bb3bf7ea7a7d54b66e2ad152e8fc4525 (patch) | |
| tree | cb33046f6006c7da77ed1b39909ab3148e414bbd /src/theory/bags/term_registry.h | |
| parent | b837f24d835ce529c749a089ae0e29e471512512 (diff) | |
Adding functions to the python API and testing them -- part 2 (#6517)
This PR adds some functions that are missing in the python API, along with unit tests for them.
The unit tests are translated from https://github.com/cvc5/cvc5/blob/master/test/unit/api/term_black.cpp
Diffstat (limited to 'src/theory/bags/term_registry.h')
0 files changed, 0 insertions, 0 deletions