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