Up
collapse
100%
WDescription%
Test Result: 0 tests failing out of a total of 278 tests.100
Build stability: No recent builds failed.100
Build History
x
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 231 KB
 5 KB
 231 KB
 232 KB

Module The VDM to JML Generator

Full project name: overture-development/org.overturetool.core.codegen:vdm2jml
Open Tasks Trend
Enlarge Configure
Test Result Trend
[Test result trend chart]
(just show failures) enlarge
Workspace
Last Successful Artifacts
vdm2jml-3.0.0-SNAPSHOT-javadoc.jar299.15 KB view
vdm2jml-3.0.0-SNAPSHOT.jar96.25 KB view
vdm2jml-3.0.0-SNAPSHOT.pom6.07 KB view
Recent Changes
Disk Usage
Directory iconJob6 MB
Directory iconAll builds6 MB
Directory iconLocked builds-
Directory iconAll workspaces8 MB
Directory iconSlave workspaces8 MB
Directory iconNon-slave workspaces-
Latest Test Result (no failures)