Started 4 mo 21 days ago
Took 32 min on master

Unstable Build #229 (Feb 12, 2020 7:04:25 PM)

Changes
  1. Correct recursive type check for function types, fixes #707 (commit: 59b42cc) (details / githubweb)
  2. Correct specification statement parse, fixes #708 (commit: 98065ea) (details / githubweb)
  3. Added stack overflow handing, fixes #709 (commit: c29570c) (details / githubweb)
  4. More sensible file handling in CommandReader (commit: bdedb54) (details / githubweb)
  5. Improved stack overflow handling, fixes #709 (commit: 3ead045) (details / githubweb)
  6. Improved stack overflow stack printing, fixes #709 (commit: b5fcc49) (details / githubweb)
  7. Add annotations.debug property to debug annotation parsing (commit: b94246e) (details / githubweb)
  8. Fix #ifdef processing and move to properties, fixes #710 (commit: 3ce9276) (details / githubweb)
  9. Add checks for reserved word prefixes in definition names, fixes #711 (commit: 348313a) (details / githubweb)
  10. Allow renamed function imports to use reserved prefixes, fixes #711 (commit: 0f7f4cf) (details / githubweb)
  11. Added warning for TypeComparator with ParameterTypes, fixes #562 (commit: 277c1b9) (details / githubweb)
  12. Added coprights to ParameterFinder (commit: b19f3f9) (details / githubweb)
  13. Allow state records to be imported as types (commit: aba0f48) (details / githubweb)
  14. Added #ifndef processing to LatexStreamReader (commit: 59da932) (details / githubweb)
  15. Corrected toString for seq binds, fixes #651 (commit: ce53cc1) (details / githubweb)
  16. Added #ifndef keyword (commit: 34989bc) (details / githubweb)
  17. Fix check for exit statements, fixes #14 (commit: b6bcf40) (details / githubweb)
  18. More fixes for #14 (commit: af5a48c) (details / githubweb)
  19. Small fix for measure expressions, see #15 (commit: f5a67a6) (details / githubweb)
  20. First cut changes for mutual recursive TCs, fixes #15 (commit: 228447e) (details / githubweb)
  21. Better resolution of apply function names, fixes #15 (commit: f8fa46c) (details / githubweb)
  22. Exit detection understands "is not yet specified" (commit: 837029a) (details / githubweb)
  23. Added extra checks for exceptions, searching expressions. See #14 (commit: f11015a) (details / githubweb)
  24. Some corrections to mutual recursion checking, #15 (commit: c357576) (details / githubweb)
  25. Add a depth limit to recursive cycle searching, see #15 (commit: d2ee23f) (details / githubweb)
  26. Added some clones to TypeCompatabilityObligation, see #15 (commit: 759f6ff) (details / githubweb)
  27. Add expression and bind checks to exception checking, see #14 (commit: 62ab12e) (details / githubweb)
  28. Correction to seq comprehensions to use "bind", see #692 (commit: 699e976) (details / githubweb)
  29. Correctly order type-bind generated invariant values, see #692 (commit: 51351ae) (details / githubweb)
Artifactory Build Info

Started by GitHub push by idhugo

Revision: 51351ae505504fd4bef82f2c2b0429c7bd876f42
  • refs/remotes/origin/development
Task Scanner: 444 open tasks in 2,141 workspace files.
Test Result (17 failures / +17)Show all failed tests >>>
Jacoco - Overall Coverage Summary
INSTRUCTION56%
BRANCH45%
COMPLEXITY44%
LINE55%
METHOD54%
CLASS78%

Module Builds

Success Core Tools2.7 sec
Success Documentation1.4 sec
 Overture Examples Jar File (didn’t run)
Success Overture External Resources7.9 sec
Success Overture IDE Top-level2.2 sec
Success The Overture Tool Platform root7 sec
Success VDM Annotations1.7 sec
Success The Overture Abstract Syntax Tree22 sec
Success Code Generation2 sec
Success Combinatorial Testing2.3 sec
Success Overture Core Command Line Tool6.2 sec
 Overture GUI Builder (didn’t run)
Success The VDM Interpreter39 sec
Success POG - Isagen Integration7.8 sec
 Model Checkers for VDM (didn’t run)
Success New Pretty Printer6.8 sec
Success The VDM parser11 sec
Success The Proof Obligation Generator20 sec
Success VDM Pretty Printing1.7 sec
Success Test Framework for Overture4.9 sec
Success Overture Testing1.8 sec
Unstable The VDM Type Checker47 sec
Success Annotation Examples4.4 sec
Success Provided Annotations4.9 sec
Success The Java Code Generator Maven Plugin15 sec
Success The Java Code Generator Runtime8.5 sec
Success The Intermediate Representation Tree17 sec
Success The VDM to Isabelle Translator16 sec
Success The Java Code Generator45 sec
Success The Java Code Generator Testing5.2 sec
Success The Code Generation Platform48 sec
Success The VDM to JML Generator32 sec
Success The VDM to JML Generator Runtime4.5 sec
Success Combinatorial Testing Runtime28 sec
Success Combinatorial Testing Utilities4.5 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 Printer5.3 sec
 Overture Example Testing Support (didn’t run)
 Overture Example Tests (didn’t run)
Success Overture Testing Framework4.8 sec
Unstable Overture Sample Tests23 sec
 Overture Demo Tests (didn’t run)
Success The Overture release notes3.8 sec
Success Overture IDE Eclipse features1.7 sec
Success Overture IDE Builders1.7 sec
Success org.overture.ide.core7.6 sec
Success org.overture.ide.debug10 sec
Success org.overture.ide.help17 sec
Success Overture IDE Parsers1.7 sec
Success org.overture.ide.platform10 sec
Success Overture IDE core plugins GUI1.7 sec
Success Overture IDE Standalone Product3 min 10 sec
 Overture IDE tests (didn’t run)
Success org.overture.ide.ui9.6 sec
Success Overture IDE VDM-PP Top-level1.7 sec
Success Overture IDE VDM-RT (RealTime) Top-level1.7 sec
Success Overture IDE VDM-SL top level1.6 sec
Success org.overture.ide.builders.vdmj5 sec
Success Overture IDE Eclipse core feature5.6 sec
Success Overture IDE Eclipse rcp feature15 sec
Success org.overture.ide.parsers.vdmj4.7 sec
 The Java Code Generator Plugin (didn’t run)
Success Combinatorial Testing8.5 sec
Success org.overture.ide.plugins.coverageeditor5.6 sec
Success org.overture.ide.plugins.csk6.4 sec
Success Developer Utilities for Overture5.6 sec
Success org.overture.ide.plugins.externaleditor5.4 sec
Success Overture IDE Eclipse plugin features1.7 sec
 GUI Builder Plugin (didn’t run)
Success The Java Code Generator Plugin8.1 sec
Success org.overture.ide.plugins.latex5.8 sec
Success org.overture.ide.plugins.poviewer5.8 sec
 Runtime for Prob (didn’t run)
Success org.overture.ide.plugins.quickinterpreter6 sec
Success RT Trace Viewer Plugin7.1 sec
Success UML2 Translator7.1 sec
 Overture IDE Eclipse Code Generator feature (didn’t run)
Success Overture IDE Eclipse Combinatorial Testing feature5.5 sec
Success Overture IDE Eclipse Coverage Editor feature5.3 sec
Success Overture IDE Eclipse CSK VDM Tools Link feature5.5 sec
Success Overture IDE Eclipse Developer Utilities feature5.9 sec
 Overture IDE Eclipse GUI Builder feature (didn’t run)
Success Overture IDE Eclipse Java Code Generator feature5.6 sec
Success Overture IDE Eclipse LaTeX Creator feature5.7 sec
Success Overture IDE Eclipse Proof Obligation Viewer feature5.8 sec
 Overture IDE Eclipse plugin probruntime feature (didn’t run)
Success Overture IDE Eclipse VDM Quick Interpreter feature5.9 sec
Success Overture IDE Eclipse Realtime Trace Viewer feature5.4 sec
Success Overture IDE Eclipse plugin uml2 feature5.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.core4.7 sec
Success org.overture.ide.vdmpp.debug5.9 sec
Success org.overture.ide.vdmpp.ui5.7 sec
Success org.overture.ide.vdmrt.core4.6 sec
Success org.overture.ide.vdmrt.debug6.1 sec
Success org.overture.ide.vdmrt.ui5.7 sec
Success org.overture.ide.vdmsl.core4.5 sec
Success org.overture.ide.vdmsl.debug6 sec
Success org.overture.ide.vdmsl.ui5.8 sec