Started 3 yr 4 mo ago
Took 9 min 20 sec on master

Success Build The C Code Generator (Nov 27, 2017 5:10:24 PM)

Build Artifacts
vdm2c-0.1.17-SNAPSHOT-jar-with-dependencies.jar7.73 MB view
vdm2c-0.1.17-SNAPSHOT.jar387.87 KB view
vdm2c-0.1.17-SNAPSHOT.pom5.62 KB view
  1. Emit GC versions of class constructors #124 (commit: 9e1f19d) (details)
  2. Tag constructor calls in CallRewriteTrans #124 (commit: 096c4ac) (details)
Task Scanner: 27 open tasks in 134 workspace files.
    Test Result (no failures)