diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-10 15:27:17 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-10 23:27:17 +0000 |
| commit | 489209a31c2a2bf2f5ce465c1a79f73aad90c764 (patch) | |
| tree | cbdf130ff62b7dca417b4e2f196d505d1211eb09 /src/util | |
| parent | b337c99fde04f4efc1824880183e29ca6253ee37 (diff) | |
New C++ Api: Add missing argument checks in Solver functions. (#6094)
This adds missing checks to guard that Term and Sort arguments are
associated with the solver object that is called.
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions