Java API complete? #8000
Unanswered
yvanlabiche
asked this question in
Q&A
Java API complete?
#8000
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
I have discovered that the Java API (version 4.15.3 and others) does not have a mkLastIndexOf whereas other APIs have it. Is this an omission?
Method 'static Sort create(context,long)' in class Sort (file Sort.java) does not have a case statement for CharSort in the switch statement although CharSort is a valid sort as per enum Z3_sort_kind. Another omission?
Beta Was this translation helpful? Give feedback.
All reactions