[Jenkins]Jenkins
 Back to Dashboard
 Status
 Changes
 Workspace
 Modules
 Open Tasks
 GitHub Hook Log
 Artifactory Build Info
 GitHub
 Coverage Trend
 Embeddable Build Status
collapse
99%
WDescription%
Test Result: 17 tests failing out of a total of 8,372 tests.99
Coverage: All coverage targets have been met. 100
Build stability: No recent builds failed.100
Build History
x
Unstable > Console Output
#249
Jul 1, 2020 11:30 AM
 [Artifactory]43 MB
Unstable > Console Output
#248
Jun 30, 2020 8:29 PM
 [Artifactory]43 MB
Unstable > Console Output
#247
Jun 24, 2020 5:39 PM
 [Artifactory]43 MB
Unstable > Console Output
#246
Jun 24, 2020 12:28 PM
 [Artifactory]42 MB
Failed > Console Output
#245
Jun 24, 2020 10:55 AM
 10 MB
Unstable > Console Output
#244
Jun 23, 2020 8:21 PM
 [Artifactory]42 MB
Unstable > Console Output
#243
Jun 23, 2020 4:56 PM
 [Artifactory]43 MB
Unstable > Console Output
#242
Jun 23, 2020 3:48 PM
 [Artifactory]43 MB
Unstable > Console Output
#241
May 15, 2020 10:00 PM
 [Artifactory]43 MB
Unstable > Console Output
#240
Mar 16, 2020 10:53 PM
 [Artifactory]43 MB
Unstable > Console Output
#239
Mar 16, 2020 9:09 PM
 [Artifactory]42 MB
Unstable > Console Output
#238
Mar 16, 2020 8:36 PM
 [Artifactory]42 MB
Unstable > Console Output
#237
Mar 16, 2020 6:32 PM
 [Artifactory]42 MB
Unstable > Console Output
#236
Mar 16, 2020 6:00 PM
 [Artifactory]42 MB
Unstable > Console Output
#235
Mar 16, 2020 3:26 PM
 [Artifactory]42 MB
Unstable > Console Output
#234
Mar 16, 2020 2:41 PM
 [Artifactory]42 MB
Unstable > Console Output
#233
Mar 16, 2020 11:40 AM
 [Artifactory]43 MB
Unstable > Console Output
#232
Mar 16, 2020 10:52 AM
 [Artifactory]42 MB
Unstable > Console Output
#231
Feb 26, 2020 7:16 PM
 [Artifactory]42 MB
Unstable > Console Output
#230
Feb 13, 2020 9:23 AM
 [Artifactory]42 MB
Unstable > Console Output
#229
Feb 12, 2020 7:04 PM
 [Artifactory]42 MB
Aborted > Console Output
#228
Feb 12, 2020 7:02 PM
 542 KB
Success > Console Output
#227
Oct 17, 2019 12:01 PM
 [Artifactory]42 MB
Success > Console Output
#226
Oct 16, 2019 1:37 PM
 [Artifactory]42 MB
Failed > Console Output
#225
Oct 16, 2019 12:44 PM
 10 MB
Atom feed Atom feed for all Atom feed Atom feed for failures

Modules

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