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 3 yr 11 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 Java Code Generator Testing
#196
→
#197
(
detail
)
The VDM Interpreter
#196
→
#197
(
detail
)
The Java Code Generator
#196
→
#197
(
detail
)
The VDM Type Checker
#196
→
#197
(
detail
)
Combinatorial Testing Runtime
#196
→
#197
(
detail
)
The Proof Obligation Generator
#196
→
#197
(
detail
)
The Java Code Generator Runtime
#196
→
#197
(
detail
)
The VDM Pretty Printer
#196
→
#197
(
detail
)
The VDM to JML Generator Runtime
#196
→
#197
(
detail
)
The Code Generation Platform
#196
→
#197
(
detail
)
The VDM parser
#196
→
#197
(
detail
)
The Overture Abstract Syntax Tree
#196
→
#197
(
detail
)
Test Framework for Overture
#196
→
#197
(
detail
)
Overture Testing Framework
#196
→
#197
(
detail
)
The Intermediate Representation Tree
#196
→
#197
(
detail
)
Combinatorial Testing Utilities
#196
→
#197
(
detail
)
Task Scanner:
6 open tasks
in 229 workspace files.
Test Result
(no failures)