Skip to content
Jenkins
log in
Jenkins
overture-development
The VDM to JML Generator
#288
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
Started 22 days ago
Took
32 sec
on master
Build #288 (Feb 9, 2021 11:47:32 AM)
Build Artifacts
vdm2jml-3.0.3-SNAPSHOT-javadoc.jar
299.00 KB
view
vdm2jml-3.0.3-SNAPSHOT.jar
96.24 KB
view
vdm2jml-3.0.3-SNAPSHOT.pom
6.07 KB
view
No changes. Changes in dependency
Combinatorial Testing Utilities
#287
→
#288
(
detail
)
The Java Code Generator Runtime
#287
→
#288
(
detail
)
The VDM to JML Generator Runtime
#287
→
#288
(
detail
)
Test Framework for Overture
#287
→
#288
(
detail
)
The VDM Interpreter
#287
→
#288
(
detail
)
The Intermediate Representation Tree
#287
→
#288
(
detail
)
Combinatorial Testing Runtime
#287
→
#288
(
detail
)
The Code Generation Platform
#287
→
#288
(
detail
)
The Java Code Generator
#287
→
#288
(
detail
)
The Java Code Generator Testing
#287
→
#288
(
detail
)
The VDM parser
#287
→
#288
(
detail
)
The Overture Abstract Syntax Tree
#287
→
#288
(
detail
)
Overture Testing Framework
#287
→
#288
(
detail
)
The VDM Type Checker
#287
→
#288
(
detail
)
The VDM Pretty Printer
#287
→
#288
(
detail
)
The Proof Obligation Generator
#287
→
#288
(
detail
)
Task Scanner:
6 open tasks
in 229 workspace files.
Test Result
(no failures)