Code

Trace output configuration options#1565

Code

Closed

polgreen wants to merge 13 commits intodiffblue:developdiffblue/cbmc:developfrom

polgreen:trace_outputpolgreen/cbmc:trace_outputCopy head branch name to clipboard

Commits

Commits on Nov 7, 2017

• Output lines of code in trace and values in hex format

  Show description for 18a45e3
  polgreen

  committed
  18a45e3

  Copy full SHA for 18a45e3

• Start of HTML goto trace output

  Show description for 686fedd
  polgreen

  committed
  686fedd

  Copy full SHA for 686fedd

• Output function calls in trace

  Show description for 6725c8c
  polgreen

  committed
  6725c8c

  Copy full SHA for 6725c8c

• Change "violated assumption" to "assumption" in trace

  Show description for 24a4875
  polgreen

  committed
  24a4875

  Copy full SHA for 24a4875

• Add trace_configuration struct to global config

  Show description for 7a1dca7
  polgreen

  committed
  7a1dca7

  Copy full SHA for 7a1dca7

• Tidy up CBMC parse_options trace configuration

  polgreen

  committed
  cb560d3

  Copy full SHA for cb560d3

• switch show_goto_trace to use trace_configurationt

  Show description for d88d5d6
  polgreen

  committed
  d88d5d6

  Copy full SHA for d88d5d6

• Update html_goto_trace to use trace_configurationt

  Show description for c05ab18
  polgreen

  committed
  c05ab18

  Copy full SHA for c05ab18

• rename "html-trace" to "trace-html"

  polgreen

  committed
  671db6b

  Copy full SHA for 671db6b

• Fix html trace colour alternation for function calls

  polgreen

  committed
  51bfbd7

  Copy full SHA for 51bfbd7

• replace assert with invariant

  polgreen

  committed
  5129907

  Copy full SHA for 5129907

• doxygen changes

  polgreen

  committed
  94391c1

  Copy full SHA for 94391c1

• configure trace otuput for graphml witness

  polgreen

  committed
  9b8cbfb

  Copy full SHA for 9b8cbfb