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