Issues with Java 9+ - Githubissues

ClemsonRSRG / RESOLVE

RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.

https://www.cs.clemson.edu/resolve/

BSD 3-Clause "New" or "Revised" License

24 stars 16 forks source link

Issues with Java 9+ #353

Closed yushan87 closed 3 years ago

yushan87 commented 3 years ago

JGraph has an issue with Java 9+. Seems to be throwing a java.util.function supplier message.