Code

Doxygen for test gen support#989

Code

Merged

smowton merged 7 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

reuk:doxy-test-gen-supportreuk/cbmc:doxy-test-gen-supportCopy head branch name to clipboard

Jun 13, 2017

Commits

Commits on Jun 12, 2017

• Update gitignore

  reuk

  committed
  5fe52df

  Copy full SHA for 5fe52df

• Add doxyfile

  reuk

  committed
  26420f5

  Copy full SHA for 26420f5

• Add reformatting scripts

  reuk

  committed
  25e4290

  Copy full SHA for 25e4290

• Fix bug where header would insert extra empty line

  reuk

  committed
  bca08dd

  Copy full SHA for bca08dd

• Reformat doc comments in src

  reuk

  committed
  f305de6

  Copy full SHA for f305de6

Commits on Jun 13, 2017

• Apply fix from #1005

  reuk

  committed
  fb6ae81

  Copy full SHA for fb6ae81

• Remove duplication from conversion script

  reuk

  committed
  c995942

  Copy full SHA for c995942