User Activity
-
Modified
a comment
on
ticket #411
on
Java Modeling Language (JML)
just installed OpenJML plugin on Eclipse , I solved the problem by setting the runtime environment to 1.8 and run a TypeCheck JML
-
Modified
a comment
on
ticket #411
on
Java Modeling Language (JML)
just installed OpenJML plugin on Eclipse , I solved the problem by setting the runtime environement to 1.8 and run a TypeCheck JML
-
Posted
a comment
on
ticket #411
on
Java Modeling Language (JML)
just installed OpenJML plugin on Eclipse Version: 2018-09 (4.9.0) Build id: 20180917-1800 and I confirm this problem is present
Personal Data
- Username:
- davidebasile
- Joined:
- 2020-12-06 17:03:49
Projects
- No projects to display.