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/mktheorytraits | |
| parent | 2b5902b1c54b1a4717273d501333dd37b8715f9d (diff) | |
Rename system tests to api tests and remove obsolete Java test. (#5066)
Diffstat (limited to 'src/theory/mktheorytraits')
0 files changed, 0 insertions, 0 deletions