search

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
123 stars 34 forks source link

Reflective access in Z3Wrapper yields warning on Java 11 #74

Open romac opened 5 years ago

romac commented 5 years ago 
$ 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

...