Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Reflective access in Z3Wrapper yields warning on Java 11 #74

Open
romac opened this issue Sep 18, 2019 · 0 comments
Open

Reflective access in Z3Wrapper yields warning on Java 11 #74

romac opened this issue Sep 18, 2019 · 0 comments

Comments

@romac
Copy link
Member

romac commented Sep 18, 2019

$ scala -cp jars/scalaz3-unix-x64-2.13.jar
Welcome to Scala 2.13.0 (Java HotSpot(TM) 64-Bit Server VM, Java 11.0.2).
Type in expressions for evaluation. Or try :help.

scala> new z3.Z3Wrapper
WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by z3.Z3Wrapper (jars/scalaz3-unix-x64-2.12.jar) to field java.lang.ClassLoader.sys_paths
WARNING: Please consider reporting this to the maintainers of z3.Z3Wrapper
WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
WARNING: All illegal access operations will be denied in a future release

...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant