Started 2 yr 4 mo ago
Took 22 sec on master

Success Build The C Code Generator VDM library sources (Nov 29, 2017 11:38:44 AM)

Changes
  1. -  Unused variable cleanup. -  Addresses #123. (commit: 8c2dd57) (details)
Task Scanner: 0 open tasks in 1 workspace file.
  • No warnings since build 94.
  • New zero warnings highscore: no warnings for 546 days!