Skip to content
Jenkins
log in
Jenkins
overture-pvj-main
The VDM to JML Generator
#167
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Executed Mojos
Test Result
See Fingerprints
Embeddable Build Status
Previous Build
Started 11 mo ago
Took
17 sec
on master
Build #167 (May 17, 2020 7:10:00 PM)
Build Artifacts
vdm2jml-2.7.5-SNAPSHOT.jar
96.27 KB
view
vdm2jml-2.7.5-SNAPSHOT.pom
6.10 KB
view
No changes. Changes in dependency
The Java Code Generator Runtime
#165
→
#167
(
detail
)
The Code Generation Platform
#165
→
#167
(
detail
)
Overture Testing Framework
#165
→
#167
(
detail
)
The Proof Obligation Generator
#165
→
#167
(
detail
)
The VDM Type Checker
#165
→
#167
(
detail
)
The VDM Interpreter
#165
→
#167
(
detail
)
Combinatorial Testing Utilities
#165
→
#167
(
detail
)
The Overture Tool Platform root
? →
(
detail
)
Test Framework for Overture
#165
→
#167
(
detail
)
The Java Code Generator Testing
#165
→
#167
(
detail
)
The VDM to JML Generator Runtime
#165
→
#167
(
detail
)
The Overture Abstract Syntax Tree
#165
→
#167
(
detail
)
Code Generation
? →
(
detail
)
Core Tools
? →
(
detail
)
The Java Code Generator
#165
→
#167
(
detail
)
The VDM parser
#165
→
#167
(
detail
)
The VDM to JML Generator
? →
(
detail
)
The VDM Pretty Printer
#165
→
#167
(
detail
)
Combinatorial Testing Runtime
#165
→
#167
(
detail
)
The Intermediate Representation Tree
#165
→
#167
(
detail
)
Test Result
(no failures)