diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-05-21 13:55:13 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-05-21 13:55:23 -0400 |
commit | 2deb3a617f068af25457db23eae326dae2bf2ae2 (patch) | |
tree | de865815723d081aeb9a8ddcbc0a386074ed5c63 /src/theory/quantifiers/candidate_generator.cpp | |
parent | a0960d8b5bc0897191444b7bcffece8136630917 (diff) |
Safer swig-wrapping for unsigned long long in Java, which will throw an exception if the argument is out of bounds for unsigned long long. Thanks to Steve Siegel for the report.
Diffstat (limited to 'src/theory/quantifiers/candidate_generator.cpp')
0 files changed, 0 insertions, 0 deletions