Skip to content
Jenkins
log in
Jenkins
All
overture-pvj-main
#167
The VDM to JML Generator
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 1 mo ago
Took
17 sec
on master
Build The VDM to JML Generator (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)