collapse
100%
WDescription%
Test Result: 0 tests failing out of a total of 2,477 tests.100
Build stability: No recent builds failed.100
Build History
x
 6 MB
 6 MB

Modules

   S   WNameLast SuccessLast FailureLast Duration # Issues 
Success100%
WDescription%
Build stability: No recent builds failed.100
The Overture Tool Platform root 2 mo 6 days - #30N/A4.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture External Resources 2 mo 6 days - #30N/A6.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Core Tools 2 mo 6 days - #30N/A1.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Overture Abstract Syntax Tree 2 mo 6 days - #30N/A24 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 56 tests.100
Build stability: No recent builds failed.100
The VDM parser 2 mo 6 days - #30N/A14 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 131 tests.100
Build stability: No recent builds failed.100
The VDM Type Checker 2 mo 6 days - #30N/A41 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Testing 2 mo 6 days - #30N/A0.47 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Testing Framework 2 mo 6 days - #30N/A3.5 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 2 tests.100
Build stability: No recent builds failed.100
Overture Sample Tests 2 mo 6 days - #30N/A8.3 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 68 tests.100
Build stability: No recent builds failed.100
The VDM Interpreter 2 mo 6 days - #30N/A37 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 195 tests.100
Build stability: No recent builds failed.100
The Proof Obligation Generator 2 mo 6 days - #30N/A20 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Test Framework for Overture 2 mo 6 days - #30N/A3.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Combinatorial Testing 2 mo 6 days - #30N/A0.46 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Combinatorial Testing Utilities 2 mo 6 days - #30N/A3 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 35 tests.100
Build stability: No recent builds failed.100
Combinatorial Testing Runtime 2 mo 6 days - #30N/A27 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
VDM Pretty Printing 2 mo 6 days - #30N/A0.46 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The VDM Pretty Printer 2 mo 6 days - #30N/A3.7 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 97 tests.100
Build stability: No recent builds failed.100
New Pretty Printer 2 mo 6 days - #30N/A5.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Core Command Line Tool 2 mo 6 days - #30N/A5.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Code Generation 2 mo 6 days - #30N/A0.49 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Intermediate Representation Tree 2 mo 6 days - #30N/A14 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 17 tests.100
Build stability: No recent builds failed.100
The Code Generation Platform 2 mo 6 days - #30N/A1 min 11 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 1,479 tests.100
Build stability: No recent builds failed.100
The Java Code Generator 2 mo 6 days - #30N/A48 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Java Code Generator Testing 2 mo 6 days - #30N/A3.4 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 278 tests.100
Build stability: No recent builds failed.100
The VDM to JML Generator 2 mo 6 days - #30N/A32 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The VDM to JML Generator Runtime 2 mo 6 days - #30N/A2.6 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 42 tests.100
Build stability: No recent builds failed.100
The Java Code Generator Runtime 2 mo 6 days - #30N/A8.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Java Code Generator Maven Plugin 2 mo 6 days - #30N/A16 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 73 tests.100
Build stability: No recent builds failed.100
The VDM to Isabelle Translator 2 mo 6 days - #30N/A12 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 4 tests.100
Build stability: No recent builds failed.100
POG - Isagen Integration 2 mo 6 days - #30N/A6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
VDM Annotations 2 mo 6 days - #30N/A0.56 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Provided Annotations 2 mo 6 days - #30N/A2.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Annotation Examples 2 mo 6 days - #30N/A2.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Documentation 2 mo 6 days - #30N/A0.48 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Overture release notes 2 mo 6 days - #30N/A2.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Top-level 2 mo 6 days - #30N/A1.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.core 2 mo 6 days - #30N/A5.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.ui 2 mo 6 days - #30N/A7.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Parsers 2 mo 6 days - #30N/A0.51 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.parsers.vdmj 2 mo 6 days - #30N/A2.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Builders 2 mo 6 days - #30N/A0.48 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.builders.vdmj 2 mo 6 days - #30N/A2.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.debug 2 mo 6 days - #30N/A5.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE VDM-SL top level 2 mo 6 days - #30N/A0.53 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmsl.core 2 mo 6 days - #30N/A2.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmsl.ui 2 mo 6 days - #30N/A2.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmsl.debug 2 mo 6 days - #30N/A2.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE VDM-PP Top-level 2 mo 6 days - #30N/A0.55 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmpp.core 2 mo 6 days - #30N/A2.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmpp.ui 2 mo 6 days - #30N/A2.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmpp.debug 2 mo 6 days - #30N/A4.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE VDM-RT (RealTime) Top-level 2 mo 6 days - #30N/A0.57 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmrt.core 2 mo 6 days - #30N/A2.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmrt.ui 2 mo 6 days - #30N/A3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmrt.debug 2 mo 6 days - #30N/A2.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.help 2 mo 6 days - #30N/A19 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE core plugins GUI 2 mo 6 days - #30N/A0.54 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.coverageeditor 2 mo 6 days - #30N/A2.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.csk 2 mo 6 days - #30N/A2.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.quickinterpreter 2 mo 6 days - #30N/A2.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.externaleditor 2 mo 6 days - #30N/A2.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.latex 2 mo 6 days - #30N/A3.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.poviewer 2 mo 6 days - #30N/A4.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Combinatorial Testing 2 mo 6 days - #30N/A5.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Developer Utilities for Overture 2 mo 6 days - #30N/A2.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
UML2 Translator 2 mo 6 days - #30N/A3.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
RT Trace Viewer Plugin 2 mo 6 days - #30N/A3.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Java Code Generator Plugin 2 mo 6 days - #30N/A4.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse plugin features 2 mo 6 days - #30N/A0.57 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Coverage Editor feature 2 mo 6 days - #30N/A2.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse CSK VDM Tools Link feature 2 mo 6 days - #30N/A2.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Combinatorial Testing feature 2 mo 6 days - #30N/A5.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Developer Utilities feature 2 mo 6 days - #30N/A2.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse LaTeX Creator feature 2 mo 6 days - #30N/A2.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Proof Obligation Viewer feature 2 mo 6 days - #30N/A2.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse VDM Quick Interpreter feature 2 mo 6 days - #30N/A2.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse plugin uml2 feature 2 mo 6 days - #30N/A3.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Realtime Trace Viewer feature 2 mo 6 days - #30N/A2.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Java Code Generator feature 2 mo 6 days - #30N/A2.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.platform 2 mo 6 days - #30N/A9.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse features 2 mo 6 days - #30N/A0.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse core feature 2 mo 6 days - #30N/A2.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse rcp feature 2 mo 6 days - #30N/A12 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Standalone Product 2 mo 6 days - #30N/A4 min 34 sec -  
Icon:  S M L