diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-06-04 11:07:41 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-04 11:07:41 -0700 |
commit | f0169b253759632aee0d21db916fe68702c66116 (patch) | |
tree | f806af9648d17b9fed38897330b208b58a0f5184 /src/util/unsafe_interrupt_exception.h | |
parent | c5bf818456ebe2dee833fecd4a0970f0105919f0 (diff) |
New C++ Api: Second and last batch of API guards. (#4563)
This adds the remaining API guards in the Solver object (incl. unit tests).
Diffstat (limited to 'src/util/unsafe_interrupt_exception.h')
0 files changed, 0 insertions, 0 deletions