[Jenkins]Jenkins
 Back to Dashboard
 Status
 Changes
 Workspace
 Modules
 GitHub Hook Log
 Artifactory Build Info
 GitHub
 Embeddable Build Status
collapse
99%
WDescription%
Test Result: 20 tests failing out of a total of 8,372 tests.99
Build stability: No recent builds failed.100
Build History
x
Unstable > Console Output
#167
May 17, 2020 7:09 PM
 4 MB
Success > Console Output
#165
Oct 17, 2019 12:04 PM
 [Artifactory]4 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 2 yr 0 mo - #167N/A1.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture External Resources 2 yr 0 mo - #167N/A3.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Core Tools 2 yr 0 mo - #167N/A1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Overture Abstract Syntax Tree 2 yr 0 mo - #167N/A20 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 yr 0 mo - #167N/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 2 yr 0 mo - #167N/A20 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Testing 2 yr 0 mo - #167N/A0.57 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Testing Framework 2 yr 0 mo - #167N/A1.2 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 2 yr 0 mo - #167N/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 2 yr 0 mo - #167N/A22 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 yr 0 mo - #167N/A10 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Test Framework for Overture 2 yr 0 mo - #167N/A1.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Combinatorial Testing 2 yr 0 mo - #167N/A0.57 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Combinatorial Testing Utilities 2 yr 0 mo - #167N/A1.1 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 yr 0 mo - #167N/A23 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
VDM Pretty Printing 2 yr 0 mo - #167N/A0.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The VDM Pretty Printer 2 yr 0 mo - #167N/A1.1 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 yr 0 mo - #167N/A2.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Core Command Line Tool 2 yr 0 mo - #167N/A3.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Code Generation 2 yr 0 mo - #167N/A0.53 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Intermediate Representation Tree 2 yr 0 mo - #167N/A13 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 yr 0 mo - #167N/A5.8 sec -  
Unstable99%
WDescription%
Test Result: 3 tests failing out of a total of 1,479 tests.99
Build stability: No recent builds failed.100
The Java Code Generator 2 yr 0 mo - #167N/A10 min -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Java Code Generator Testing 2 yr 0 mo - #167N/A1.3 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 yr 0 mo - #167N/A17 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The VDM to JML Generator Runtime 2 yr 0 mo - #167N/A1.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 2 yr 0 mo - #167N/A3.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Java Code Generator Maven Plugin 2 yr 0 mo - #167N/A7.8 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 yr 0 mo - #167N/A6 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 yr 0 mo - #167N/A4.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
VDM Annotations 2 yr 0 mo - #167N/A0.55 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Provided Annotations 2 yr 0 mo - #167N/A1.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Annotation Examples 2 yr 0 mo - #167N/A1.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Documentation 2 yr 0 mo - #167N/A0.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Overture release notes 2 yr 0 mo - #167N/A1 sec -  
Icon:  S M L