collapse
100%
WDescription%
Test Result: 0 tests failing out of a total of 8,372 tests.100
Coverage: All coverage targets have been met. 100
Build stability: No recent builds failed.100
Build History
x
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]10 MB
 3 MB
 [Artifactory]43 MB
 [Artifactory]43 MB
 [Artifactory]43 MB
 [Artifactory]43 MB
 [Artifactory]43 MB
 [Artifactory]43 MB
 [Artifactory]42 MB
 10 MB
 [Artifactory]42 MB
 [Artifactory]43 MB
 [Artifactory]43 MB
 [Artifactory]43 MB
 [Artifactory]43 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB
 [Artifactory]42 MB

Modules

   S   WNameLast SuccessLast FailureLast Duration # Issues 
Success100%
WDescription%
Build stability: No recent builds failed.100
The Overture Tool Platform root 10 hr - #258N/A6.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture External Resources 10 hr - #258N/A6.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Core Tools 10 hr - #258N/A2.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Overture Abstract Syntax Tree 10 hr - #258N/A22 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 10 hr - #258N/A10 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 1,906 tests.100
Build stability: No recent builds failed.100
The VDM Type Checker 10 hr - #258N/A40 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Testing 10 hr - #258N/A1.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Testing Framework 10 hr - #258N/A4.6 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 3,213 tests.100
Build stability: No recent builds failed.100
Overture Sample Tests 10 hr - #258N/A17 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 977 tests.100
Build stability: No recent builds failed.100
The VDM Interpreter 10 hr - #258N/A38 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 10 hr - #258N/A19 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Test Framework for Overture 10 hr - #258N/A5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Combinatorial Testing 10 hr - #258N/A1.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Combinatorial Testing Utilities 10 hr - #258N/A4.6 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 10 hr - #258N/A26 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
VDM Pretty Printing 10 hr - #258N/A1.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The VDM Pretty Printer 10 hr - #258N/A5.3 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 10 hr - #258N/A7.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Core Command Line Tool 10 hr - #258N/A6.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Code Generation 10 hr - #258N/A2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Intermediate Representation Tree 10 hr - #258N/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 10 hr - #258N/A46 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 10 hr - #258N/A41 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Java Code Generator Testing 10 hr - #258N/A5.2 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 10 hr - #258N/A31 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The VDM to JML Generator Runtime 10 hr - #258N/A4.5 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 10 hr - #258N/A8.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Java Code Generator Maven Plugin 10 hr - #258N/A13 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 10 hr - #258N/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 10 hr - #258N/A7.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
VDM Annotations 10 hr - #258N/A1.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Provided Annotations 10 hr - #258N/A5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Annotation Examples 10 hr - #258N/A4.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Documentation 10 hr - #258N/A1.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Overture release notes 10 hr - #258N/A3.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Top-level 10 hr - #258N/A2.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.core 10 hr - #258N/A8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.ui 10 hr - #258N/A8.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Parsers 10 hr - #258N/A1.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.parsers.vdmj 10 hr - #258N/A4.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Builders 10 hr - #258N/A1.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.builders.vdmj 10 hr - #258N/A5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.debug 10 hr - #258N/A9.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE VDM-SL top level 10 hr - #258N/A1.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmsl.core 10 hr - #258N/A4.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmsl.ui 10 hr - #258N/A6.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmsl.debug 10 hr - #258N/A5.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE VDM-PP Top-level 10 hr - #258N/A1.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmpp.core 10 hr - #258N/A4.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmpp.ui 10 hr - #258N/A6.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmpp.debug 10 hr - #258N/A5.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE VDM-RT (RealTime) Top-level 10 hr - #258N/A1.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmrt.core 10 hr - #258N/A4.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmrt.ui 10 hr - #258N/A5.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmrt.debug 10 hr - #258N/A5.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.help 10 hr - #258N/A14 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE core plugins GUI 10 hr - #258N/A1.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.coverageeditor 10 hr - #258N/A6.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.csk 10 hr - #258N/A6.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.quickinterpreter 10 hr - #258N/A7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.externaleditor 10 hr - #258N/A5.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.latex 10 hr - #258N/A6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.poviewer 10 hr - #258N/A6.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Combinatorial Testing 10 hr - #258N/A7.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Developer Utilities for Overture 10 hr - #258N/A6.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
UML2 Translator 10 hr - #258N/A6.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
RT Trace Viewer Plugin 10 hr - #258N/A6.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Java Code Generator Plugin 10 hr - #258N/A8.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse plugin features 10 hr - #258N/A1.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Coverage Editor feature 10 hr - #258N/A5.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse CSK VDM Tools Link feature 10 hr - #258N/A5.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Combinatorial Testing feature 10 hr - #258N/A5.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Developer Utilities feature 10 hr - #258N/A6.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse LaTeX Creator feature 10 hr - #258N/A6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Proof Obligation Viewer feature 10 hr - #258N/A5.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse VDM Quick Interpreter feature 10 hr - #258N/A5.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse plugin uml2 feature 10 hr - #258N/A5.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Realtime Trace Viewer feature 10 hr - #258N/A6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Java Code Generator feature 10 hr - #258N/A5.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.platform 10 hr - #258N/A9.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse features 10 hr - #258N/A1.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse core feature 10 hr - #258N/A5.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse rcp feature 10 hr - #258N/A15 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Standalone Product 10 hr - #258N/A2 min 8 sec -  
Icon:  S M L