Started 17 days ago
Took 32 min on master

Success Build #30 (Nov 10, 2020 4:22:11 PM)

Changes
  1. Changes the interpreter startup (commit: e7a1016) (details / githubweb)
  2. [maven-release-plugin] prepare for next development iteration (commit: 42ea313) (details / githubweb)
  3. Prevent looping type resolution, fixes #735 (commit: b576a75) (details / githubweb)
  4. Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e) (details / githubweb)
  5. Replaces the 2019-12 repositories with the 2020-09 ones (commit: 596cf18) (details / githubweb)
  6. BUMPS the Eclipse version from 2019-12 to 2020-09 (commit: 4191f2c) (details / githubweb)
  7. Upgrades Tycho version (commit: d544553) (details / githubweb)
  8. Put let RHS functional checks within -strict flag (commit: 8791e1f) (details / githubweb)
  9. Adds strict option to the launch configuration (commit: 915dddc) (details / githubweb)
  10. Adds strict flag parsing to the interpreter command line (commit: db2d546) (details / githubweb)
  11. Adds use let def strict option to the project properties (commit: bca2a6a) (details / githubweb)
  12. Change warning number for let def impure operations (commit: f762e74) (details / githubweb)
  13. Added warnings for threadid, time and new expressions in function ctxts (commit: b9ea923) (details / githubweb)
  14. Fix FunctionValue comparisons to cope with free variables, fixes #739 (commit: 56b873f) (details / githubweb)
  15. Added warning for function value comparisons, fixes #739 (commit: 90c955f) (details / githubweb)
  16. Changes message on project settings (commit: db9f31e) (details / githubweb)
  17. Adds strict checking to the parser/tc settings (commit: e6f41cf) (details / githubweb)
  18. Fixes a bug preventing the display of warnings (commit: 90e0da5) (details / githubweb)
  19. Pass element type into typecheck of set comprehensions, fixes #728 (commit: 253f4ba) (details / githubweb)
  20. Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f) (details / githubweb)
  21. Use re-stated types in definition imports (see #760) (commit: bd2643b) (details / githubweb)
  22. Avoids sending an empty internal tag causing troubles in the response parsing (commit: f2b2a6a) (details / githubweb)
  23. Resumes a single thread only (commit: 79517f0) (details / githubweb)
  24. Updates the view when a thread is waiting (commit: 89d3ef8) (details / githubweb)
  25. Check for invariant types when converting function values, fixes #761 (commit: b42facd) (details / githubweb)
  26. Correct check of function parameter patterns and arguments, fixes #762 (commit: 656ece8) (details / githubweb)
  27. Adds a check to avoid managing the console of external tools. Fixes #763 (commit: ab7de77) (details / githubweb)
  28. Prepare Release 3.0.2 (commit: 0a7e3f3) (details / githubweb)
  29. Adjusts versions (commit: 95e6f39) (details / githubweb)
  30. [maven-release-plugin] prepare release Release/3.0.2 (commit: cafcbab) (details / githubweb)

Started by user idhugoid

Revision: 539bf6a7a31695ae1ab9cd03ebc90e6315f72498
  • refs/remotes/origin/master
Test Result (no failures)

    Module Builds

    Success Core Tools1.4 sec
    Success Documentation0.48 sec
    Success Overture External Resources6.8 sec
    Success Overture IDE Top-level1.2 sec
    Success The Overture Tool Platform root4.2 sec
    Success VDM Annotations0.56 sec
    Success The Overture Abstract Syntax Tree24 sec
    Success Code Generation0.49 sec
    Success Combinatorial Testing0.46 sec
    Success Overture Core Command Line Tool5.3 sec
     Overture GUI Builder (didn’t run)
    Success The VDM Interpreter37 sec
    Success POG - Isagen Integration6 sec
     Model Checkers for VDM (didn’t run)
    Success New Pretty Printer5.5 sec
    Success The VDM parser14 sec
    Success The Proof Obligation Generator20 sec
    Success VDM Pretty Printing0.46 sec
    Success Test Framework for Overture3.3 sec
    Success Overture Testing0.47 sec
    Success The VDM Type Checker41 sec
    Success Annotation Examples2.3 sec
    Success Provided Annotations2.8 sec
    Success The Java Code Generator Maven Plugin16 sec
    Success The Java Code Generator Runtime8.1 sec
    Success The Intermediate Representation Tree14 sec
    Success The VDM to Isabelle Translator12 sec
    Success The Java Code Generator48 sec
    Success The Java Code Generator Testing3.4 sec
    Success The Code Generation Platform1 min 11 sec
    Success The VDM to JML Generator32 sec
    Success The VDM to JML Generator Runtime2.6 sec
    Success Combinatorial Testing Runtime27 sec
    Success Combinatorial Testing Utilities3 sec
     Integration of the ProB Solver for VDM (didn’t run)
     Integration of the ProB Solver for the VDM Interpreter (didn’t run)
    Success The VDM Pretty Printer3.7 sec
     Overture Example Testing Support (didn’t run)
     Overture Example Tests (didn’t run)
    Success Overture Testing Framework3.5 sec
    Success Overture Sample Tests8.3 sec
     Overture Demo Tests (didn’t run)
    Success The Overture release notes2.3 sec
    Success Overture IDE Eclipse features0.6 sec
    Success Overture IDE Builders0.48 sec
    Success org.overture.ide.core5.5 sec
    Success org.overture.ide.debug5.3 sec
    Success org.overture.ide.help19 sec
    Success Overture IDE Parsers0.51 sec
    Success org.overture.ide.platform9.4 sec
    Success Overture IDE core plugins GUI0.54 sec
    Success Overture IDE Standalone Product4 min 34 sec
     Overture IDE tests (didn’t run)
    Success org.overture.ide.ui7.1 sec
    Success Overture IDE VDM-PP Top-level0.55 sec
    Success Overture IDE VDM-RT (RealTime) Top-level0.57 sec
    Success Overture IDE VDM-SL top level0.53 sec
    Success org.overture.ide.builders.vdmj2.5 sec
    Success Overture IDE Eclipse core feature2.6 sec
    Success Overture IDE Eclipse rcp feature12 sec
    Success org.overture.ide.parsers.vdmj2.4 sec
     The Java Code Generator Plugin (didn’t run)
    Success Combinatorial Testing5.2 sec
    Success org.overture.ide.plugins.coverageeditor2.8 sec
    Success org.overture.ide.plugins.csk2.7 sec
    Success Developer Utilities for Overture2.9 sec
    Success org.overture.ide.plugins.externaleditor2.9 sec
    Success Overture IDE Eclipse plugin features0.57 sec
     GUI Builder Plugin (didn’t run)
    Success The Java Code Generator Plugin4.8 sec
    Success org.overture.ide.plugins.latex3.7 sec
    Success org.overture.ide.plugins.poviewer4.1 sec
     Runtime for Prob (didn’t run)
    Success org.overture.ide.plugins.quickinterpreter2.8 sec
    Success RT Trace Viewer Plugin3.4 sec
    Success UML2 Translator3.3 sec
     Overture IDE Eclipse Code Generator feature (didn’t run)
    Success Overture IDE Eclipse Combinatorial Testing feature5.2 sec
    Success Overture IDE Eclipse Coverage Editor feature2.7 sec
    Success Overture IDE Eclipse CSK VDM Tools Link feature2.9 sec
    Success Overture IDE Eclipse Developer Utilities feature2.4 sec
     Overture IDE Eclipse GUI Builder feature (didn’t run)
    Success Overture IDE Eclipse Java Code Generator feature2.4 sec
    Success Overture IDE Eclipse LaTeX Creator feature2.4 sec
    Success Overture IDE Eclipse Proof Obligation Viewer feature2.5 sec
     Overture IDE Eclipse plugin probruntime feature (didn’t run)
    Success Overture IDE Eclipse VDM Quick Interpreter feature2.4 sec
    Success Overture IDE Eclipse Realtime Trace Viewer feature2.4 sec
    Success Overture IDE Eclipse plugin uml2 feature3.3 sec
     Prob interpreter runtime (didn’t run)
     Prob interpreter runtime linux x86 (didn’t run)
     Prob interpreter runtime linux x64 (didn’t run)
     Prob interpreter runtime mac x64 (didn’t run)
     Prob interpreter runtime win32 (didn’t run)
     org.overture.ide.tests.ui (didn’t run)
    Success org.overture.ide.vdmpp.core2.3 sec
    Success org.overture.ide.vdmpp.debug4.8 sec
    Success org.overture.ide.vdmpp.ui2.8 sec
    Success org.overture.ide.vdmrt.core2.1 sec
    Success org.overture.ide.vdmrt.debug2.7 sec
    Success org.overture.ide.vdmrt.ui3 sec
    Success org.overture.ide.vdmsl.core2.8 sec
    Success org.overture.ide.vdmsl.debug2.8 sec
    Success org.overture.ide.vdmsl.ui2.8 sec