diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-09-14 21:21:03 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-14 23:21:03 -0500 |
commit | cdb338bb5c0fc033f6788549985c5a60ab1323b3 (patch) | |
tree | fb6ce5e0c9f17d8fb5ed7c8141a21e037e859ecd /src/theory | |
parent | 2b5902b1c54b1a4717273d501333dd37b8715f9d (diff) |
Rename system tests to api tests and remove obsolete Java test. (#5066)
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions