Skip to content
Jenkins
log in
Jenkins
overture-test
The VDM to JML Generator
#197
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 #197 (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)