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 2 yr 8 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 Code Generation Platform
#165
→
#167
(
detail
)
The Overture Abstract Syntax Tree
#165
→
#167
(
detail
)
The VDM Interpreter
#165
→
#167
(
detail
)
The Java Code Generator Runtime
#165
→
#167
(
detail
)
Combinatorial Testing Utilities
#165
→
#167
(
detail
)
The Overture Tool Platform root
? →
(
detail
)
Code Generation
? →
(
detail
)
The VDM Type Checker
#165
→
#167
(
detail
)
Core Tools
? →
(
detail
)
The Intermediate Representation Tree
#165
→
#167
(
detail
)
The VDM to JML Generator
? →
(
detail
)
The VDM Pretty Printer
#165
→
#167
(
detail
)
Overture Testing Framework
#165
→
#167
(
detail
)
The Java Code Generator
#165
→
#167
(
detail
)
The Proof Obligation Generator
#165
→
#167
(
detail
)
The VDM parser
#165
→
#167
(
detail
)
The Java Code Generator Testing
#165
→
#167
(
detail
)
Combinatorial Testing Runtime
#165
→
#167
(
detail
)
The VDM to JML Generator Runtime
#165
→
#167
(
detail
)
Test Framework for Overture
#165
→
#167
(
detail
)
Test Result
(no failures)