Development Log

  • CodePeer
    Dec 7th, 2016

    Support for annotations in the CSV output
    CodePeer annotations (preconditions, postconditions, global inputs and outputs, ...) can now be included in the CSV output using the -show-annotations switch (in addition to -output-msg -csv).