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

Module The Proof Obligation Generator

Full project name: overture-development/org.overturetool.core:pog
Open Tasks Trend
Enlarge Configure
Test Result Trend
[Test result trend chart]
(just show failures) enlarge
Workspace
Last Successful Artifacts
pog-3.0.0-SNAPSHOT-javadoc.jar604.64 KB view
pog-3.0.0-SNAPSHOT.jar274.30 KB view
pog-3.0.0-SNAPSHOT.pom5.06 KB view
Recent Changes
Disk Usage
Directory iconJob5 MB
Directory iconAll builds5 MB
Directory iconLocked builds-
Directory iconAll workspaces14 MB
Directory iconSlave workspaces14 MB
Directory iconNon-slave workspaces-
Latest Test Result (no failures)