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
 4 MB
 [Artifactory]4 MB

Modules

   S   WNameLast SuccessLast FailureLast Duration # Issues 
Success100%
WDescription%
Build stability: No recent builds failed.100
The Overture Tool Platform root 8 mo 14 days - #167N/A1.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture External Resources 8 mo 14 days - #167N/A3.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Core Tools 8 mo 14 days - #167N/A1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Overture Abstract Syntax Tree 8 mo 14 days - #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 8 mo 14 days - #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 8 mo 14 days - #167N/A20 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Testing 8 mo 14 days - #167N/A0.57 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Testing Framework 8 mo 14 days - #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 8 mo 14 days - #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 8 mo 14 days - #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 8 mo 14 days - #167N/A10 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Test Framework for Overture 8 mo 14 days - #167N/A1.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Combinatorial Testing 8 mo 14 days - #167N/A0.57 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Combinatorial Testing Utilities 8 mo 14 days - #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 8 mo 14 days - #167N/A23 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
VDM Pretty Printing 8 mo 14 days - #167N/A0.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The VDM Pretty Printer 8 mo 14 days - #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 8 mo 14 days - #167N/A2.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Core Command Line Tool 8 mo 14 days - #167N/A3.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Code Generation 8 mo 14 days - #167N/A0.53 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Intermediate Representation Tree 8 mo 14 days - #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 8 mo 14 days - #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 8 mo 14 days - #167N/A10 min -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Java Code Generator Testing 8 mo 14 days - #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 8 mo 14 days - #167N/A17 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The VDM to JML Generator Runtime 8 mo 14 days - #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 8 mo 14 days - #167N/A3.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Java Code Generator Maven Plugin 8 mo 14 days - #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 8 mo 14 days - #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 8 mo 14 days - #167N/A4.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
VDM Annotations 8 mo 14 days - #167N/A0.55 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Provided Annotations 8 mo 14 days - #167N/A1.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Annotation Examples 8 mo 14 days - #167N/A1.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Documentation 8 mo 14 days - #167N/A0.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Overture release notes 8 mo 14 days - #167N/A1 sec -  
Icon:  S M L