Started 2 mo 17 days ago
Took 10 min on master

Failed Build #272 (Sep 8, 2020 3:48:23 PM)

Changes
  1. Changes the interpreter startup (commit: e7a1016) (details / githubweb)
  2. Prevent looping type resolution, fixes #735 (commit: b576a75) (details / githubweb)
  3. Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e) (details / githubweb)
  4. Put let RHS functional checks within -strict flag (commit: 8791e1f) (details / githubweb)
  5. Adds strict option to the launch configuration (commit: 915dddc) (details / githubweb)

Started by GitHub push by idhugoid

Revision: 73f4df6adce38e18cb9ac1465d9af63dd6865883
  • refs/remotes/origin/development
Task Scanner: 219 open tasks in 835 workspace files.
Test Result (no failures)

    Aborted by user idhugoid

    Module Builds

    Success Core Tools2.7 sec
    Not built Documentation0 ms
     Overture Examples Jar File (didn’t run)
    Success Overture External Resources10 sec
    Not built Overture IDE Top-level1 ms
    Success The Overture Tool Platform root12 sec
    Not built VDM Annotations0 ms
    Success The Overture Abstract Syntax Tree23 sec
    Success Code Generation2 sec
    Success Combinatorial Testing1.6 sec
    Success Overture Core Command Line Tool6.5 sec
     Overture GUI Builder (didn’t run)
    Success The VDM Interpreter39 sec
    Not built POG - Isagen Integration0 ms
     Model Checkers for VDM (didn’t run)
    Success New Pretty Printer6.9 sec
    Success The VDM parser11 sec
    Success The Proof Obligation Generator19 sec
    Success VDM Pretty Printing1.6 sec
    Success Test Framework for Overture5.6 sec
    Success Overture Testing2 sec
    Success The VDM Type Checker46 sec
    Not built Annotation Examples1 ms
    Not built Provided Annotations0 ms
    Not built The Java Code Generator Maven Plugin0 ms
    Not built The Java Code Generator Runtime0 ms
    Success The Intermediate Representation Tree15 sec
    Not built The VDM to Isabelle Translator0 ms
    Not built The Java Code Generator1 ms
    Not built The Java Code Generator Testing0 ms
    Aborted The Code Generation Platform1 ms
    Not built The VDM to JML Generator1 ms
    Not built The VDM to JML Generator Runtime0 ms
    Success Combinatorial Testing Runtime27 sec
    Success Combinatorial Testing Utilities4.3 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
    Success Overture Sample Tests25 sec
     Overture Demo Tests (didn’t run)
    Not built The Overture release notes0 ms
    Not built Overture IDE Eclipse features1 ms
    Not built Overture IDE Builders1 ms
    Not built org.overture.ide.core0 ms
    Not built org.overture.ide.debug1 ms
    Not built org.overture.ide.help0 ms
    Not built Overture IDE Parsers1 ms
    Not built org.overture.ide.platform0 ms
    Not built Overture IDE core plugins GUI1 ms
    Not built Overture IDE Standalone Product1 ms
     Overture IDE tests (didn’t run)
    Not built org.overture.ide.ui0 ms
    Not built Overture IDE VDM-PP Top-level1 ms
    Not built Overture IDE VDM-RT (RealTime) Top-level1 ms
    Not built Overture IDE VDM-SL top level0 ms
    Not built org.overture.ide.builders.vdmj1 ms
    Not built Overture IDE Eclipse core feature0 ms
    Not built Overture IDE Eclipse rcp feature0 ms
    Not built org.overture.ide.parsers.vdmj0 ms
     The Java Code Generator Plugin (didn’t run)
    Not built Combinatorial Testing0 ms
    Not built org.overture.ide.plugins.coverageeditor0 ms
    Not built org.overture.ide.plugins.csk1 ms
    Not built Developer Utilities for Overture0 ms
    Not built org.overture.ide.plugins.externaleditor1 ms
    Not built Overture IDE Eclipse plugin features0 ms
     GUI Builder Plugin (didn’t run)
    Not built The Java Code Generator Plugin1 ms
    Not built org.overture.ide.plugins.latex1 ms
    Not built org.overture.ide.plugins.poviewer1 ms
     Runtime for Prob (didn’t run)
    Not built org.overture.ide.plugins.quickinterpreter0 ms
    Not built RT Trace Viewer Plugin1 ms
    Not built UML2 Translator1 ms
     Overture IDE Eclipse Code Generator feature (didn’t run)
    Not built Overture IDE Eclipse Combinatorial Testing feature0 ms
    Not built Overture IDE Eclipse Coverage Editor feature1 ms
    Not built Overture IDE Eclipse CSK VDM Tools Link feature1 ms
    Not built Overture IDE Eclipse Developer Utilities feature1 ms
     Overture IDE Eclipse GUI Builder feature (didn’t run)
    Not built Overture IDE Eclipse Java Code Generator feature0 ms
    Not built Overture IDE Eclipse LaTeX Creator feature0 ms
    Not built Overture IDE Eclipse Proof Obligation Viewer feature1 ms
     Overture IDE Eclipse plugin probruntime feature (didn’t run)
    Not built Overture IDE Eclipse VDM Quick Interpreter feature0 ms
    Not built Overture IDE Eclipse Realtime Trace Viewer feature0 ms
    Not built Overture IDE Eclipse plugin uml2 feature1 ms
     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)
    Not built org.overture.ide.vdmpp.core1 ms
    Not built org.overture.ide.vdmpp.debug1 ms
    Not built org.overture.ide.vdmpp.ui1 ms
    Not built org.overture.ide.vdmrt.core0 ms
    Not built org.overture.ide.vdmrt.debug0 ms
    Not built org.overture.ide.vdmrt.ui0 ms
    Not built org.overture.ide.vdmsl.core0 ms
    Not built org.overture.ide.vdmsl.debug1 ms
    Not built org.overture.ide.vdmsl.ui0 ms