diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-11-09 16:08:29 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-10 00:08:29 +0000 |
commit | eea329d3e061e1e0e98585f8b68c8db851b46513 (patch) | |
tree | 5663250588c9d106f93d070eea20e6c8f567e6d5 /src/theory | |
parent | f826638031ae919a03bd48c2003eed82cea7279a (diff) |
Reorganize test/unit/api directory. (#7612)
This moves .cpp files to directory test/unit/api/cpp and python files in
test/python/unit/api to test/unit/api/python.
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions