Code

JSON and XML message timestamps#1927

Code

Merged

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:json-xml-timestampspeterschrammel/cbmc:json-xml-timestampsCopy head branch name to clipboard

Mar 12, 2018

Commits

Commits on Mar 12, 2018

• Add timestamp to JSON and XML messages

  peterschrammel

  committed
  2ae5310

  Copy full SHA for 2ae5310

• Remove trailing whitespace from timestamp string

  peterschrammel

  committed
  9374a1f

  Copy full SHA for 9374a1f