Skip to content
Jenkins
log in
Jenkins
overture-test
#197
The VDM to JML Generator
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Executed Mojos
Open Tasks
Test Result
See Fingerprints
Embeddable Build Status
Previous Build
Next Build
Started 1 yr 10 mo ago
Took
26 sec
on master
Build The VDM to JML Generator (Mar 5, 2019 8:43:15 AM)
Build Artifacts
vdm2jml-2.6.5-SNAPSHOT-javadoc.jar
298.93 KB
view
vdm2jml-2.6.5-SNAPSHOT.jar
96.27 KB
view
vdm2jml-2.6.5-SNAPSHOT.pom
6.10 KB
view
No changes. Changes in dependency
The VDM Interpreter
#196
→
#197
(
detail
)
The Proof Obligation Generator
#196
→
#197
(
detail
)
The Java Code Generator
#196
→
#197
(
detail
)
Combinatorial Testing Utilities
#196
→
#197
(
detail
)
The Intermediate Representation Tree
#196
→
#197
(
detail
)
Combinatorial Testing Runtime
#196
→
#197
(
detail
)
Overture Testing Framework
#196
→
#197
(
detail
)
The Java Code Generator Testing
#196
→
#197
(
detail
)
The VDM to JML Generator Runtime
#196
→
#197
(
detail
)
The Java Code Generator Runtime
#196
→
#197
(
detail
)
The VDM Pretty Printer
#196
→
#197
(
detail
)
The VDM parser
#196
→
#197
(
detail
)
The Code Generation Platform
#196
→
#197
(
detail
)
The VDM Type Checker
#196
→
#197
(
detail
)
Test Framework for Overture
#196
→
#197
(
detail
)
The Overture Abstract Syntax Tree
#196
→
#197
(
detail
)
Task Scanner:
6 open tasks
in 229 workspace files.
Test Result
(no failures)