Code

Aggressive slicer v2#2385

Code

Merged

kroening merged 7 commits intodiffblue:developdiffblue/cbmc:developfrom

polgreen:aggressive_slicer_v2polgreen/cbmc:aggressive_slicer_v2Copy head branch name to clipboard

Jul 24, 2018

Commits

Commits on Jul 24, 2018

• remove mistake in grapht

  Show description for 357358d
  polgreen

  committed
  357358d

  Copy full SHA for 357358d

• call graph helper functions

  polgreen

  committed
  de7e1af

  Copy full SHA for de7e1af

• aggressive slicer regression tests

  polgreen

  committed
  2954205

  Copy full SHA for 2954205

• Aggressive slicer

  polgreen

  committed
  4ac9199

  Copy full SHA for 4ac9199

• Apply clang format to includes in goto_instrument_parse_options

  polgreen

  committed
  aa4848d

  Copy full SHA for aa4848d

• move aggressive slicer options into macro

  polgreen

  committed
  ea085d3

  Copy full SHA for ea085d3

• make comment // not /*

  polgreen

  committed
  8c7dc17

  Copy full SHA for 8c7dc17