Activity for Davide Basile

  • Davide Basile Davide Basile modified a comment on ticket #411

    just installed OpenJML plugin on Eclipse , I solved the problem by setting the runtime environment to 1.8 and run a TypeCheck JML

  • Davide Basile Davide Basile modified a comment on ticket #411

    just installed OpenJML plugin on Eclipse , I solved the problem by setting the runtime environement to 1.8 and run a TypeCheck JML

  • Davide Basile Davide Basile posted a comment on ticket #411

    just installed OpenJML plugin on Eclipse Version: 2018-09 (4.9.0) Build id: 20180917-1800 and I confirm this problem is present

1