Started 1 mo 19 days ago
Took 1 min 46 sec on master

Aborted Build #228 (Feb 12, 2020 7:02:23 PM)

No changes.

Started by user idhugo

Revision: c354db831f18c5e7368563bba4e85866232b541f
  • refs/remotes/origin/development

Aborted by user idhugo

Module Builds

Not built Core Tools1 ms
Not built Documentation1 ms
 Overture Examples Jar File (didn’t run)
Not built Overture External Resources1 ms
Not built Overture IDE Top-level2 ms
Not built The Overture Tool Platform root1 ms
Not built VDM Annotations1 ms
Not built The Overture Abstract Syntax Tree1 ms
Not built Code Generation3 ms
Not built Combinatorial Testing1 ms
Not built Overture Core Command Line Tool2 ms
 Overture GUI Builder (didn’t run)
Not built The VDM Interpreter1 ms
Not built POG - Isagen Integration1 ms
 Model Checkers for VDM (didn’t run)
Not built New Pretty Printer3 ms
Not built The VDM parser1 ms
Not built The Proof Obligation Generator1 ms
Not built VDM Pretty Printing0 ms
Not built Test Framework for Overture1 ms
Not built Overture Testing1 ms
Not built The VDM Type Checker1 ms
Not built Annotation Examples1 ms
Not built Provided Annotations1 ms
Not built The Java Code Generator Maven Plugin1 ms
Not built The Java Code Generator Runtime1 ms
Not built The Intermediate Representation Tree1 ms
Not built The VDM to Isabelle Translator0 ms
Not built The Java Code Generator1 ms
Not built The Java Code Generator Testing15 ms
Not built The Code Generation Platform1 ms
Not built The VDM to JML Generator1 ms
Not built The VDM to JML Generator Runtime1 ms
Not built Combinatorial Testing Runtime3 ms
Not built Combinatorial Testing Utilities1 ms
 Integration of the ProB Solver for VDM (didn’t run)
 Integration of the ProB Solver for the VDM Interpreter (didn’t run)
Not built The VDM Pretty Printer1 ms
 Overture Example Testing Support (didn’t run)
 Overture Example Tests (didn’t run)
Not built Overture Testing Framework1 ms
Not built Overture Sample Tests1 ms
 Overture Demo Tests (didn’t run)
Not built The Overture release notes1 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.help1 ms
Not built Overture IDE Parsers1 ms
Not built org.overture.ide.platform1 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.ui1 ms
Not built Overture IDE VDM-PP Top-level1 ms
Not built Overture IDE VDM-RT (RealTime) Top-level8 ms
Not built Overture IDE VDM-SL top level0 ms
Not built org.overture.ide.builders.vdmj0 ms
Not built Overture IDE Eclipse core feature1 ms
Not built Overture IDE Eclipse rcp feature1 ms
Not built org.overture.ide.parsers.vdmj1 ms
 The Java Code Generator Plugin (didn’t run)
Not built Combinatorial Testing1 ms
Not built org.overture.ide.plugins.coverageeditor1 ms
Not built org.overture.ide.plugins.csk0 ms
Not built Developer Utilities for Overture0 ms
Not built org.overture.ide.plugins.externaleditor1 ms
Not built Overture IDE Eclipse plugin features1 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.quickinterpreter1 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 feature1 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 feature1 ms
Not built Overture IDE Eclipse LaTeX Creator feature1 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 feature2 ms
Not built Overture IDE Eclipse Realtime Trace Viewer feature1 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.core1 ms
Not built org.overture.ide.vdmrt.debug1 ms
Not built org.overture.ide.vdmrt.ui1 ms
Not built org.overture.ide.vdmsl.core1 ms
Not built org.overture.ide.vdmsl.debug1 ms
Not built org.overture.ide.vdmsl.ui2 ms