Code

Path exploration goodies#1915

Code

Merged

tautschnig merged 7 commits intodiffblue:developdiffblue/cbmc:developfrom

karkhaz:kk-abstract-paths-worklistkarkhaz/cbmc:kk-abstract-paths-worklistCopy head branch name to clipboard

May 8, 2018

Commits

Commits on May 5, 2018

• Symex paths saved onto abstract data structure

  Show description for e823538
  karkhaz

  committed
  e823538

  Copy full SHA for e823538

• Bugfix: always print path exploration resume point

  Show description for 2a86fb4
  karkhaz

  committed
  2a86fb4

  Copy full SHA for 2a86fb4

• Path exploration pushes both successors onto queue

  Show description for 685937a
  karkhaz

  committed
  685937a

  Copy full SHA for 685937a

• Add path strategy chooser class

  Show description for 17951c8
  karkhaz

  committed
  17951c8

  Copy full SHA for 17951c8

• Doxygen uses C++ parser for .h files

  karkhaz

  committed
  feef069

  Copy full SHA for feef069

• Make new LIFO path exploration the default

  Show description for 85aba52
  karkhaz

  committed
  85aba52

  Copy full SHA for 85aba52

Commits on May 7, 2018

• Unit tests for path exploration strategies

  karkhaz

  committed
  916eb1f

  Copy full SHA for 916eb1f