Code

Refactor path storage#4109

Code

Merged

peterschrammel merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:refactor-path-storagepeterschrammel/cbmc:refactor-path-storageCopy head branch name to clipboard

Feb 7, 2019

Commits

Commits on Feb 7, 2019

• Remove obsolete variant of symex_with_state

  Show description for a3f9591
  peterschrammel

  committed
  a3f9591

  Copy full SHA for a3f9591

• Put initial state into path_storage

  Show description for 8592f28
  peterschrammel

  committed
  8592f28

  Copy full SHA for 8592f28

• Expose equation post-processing

  Show description for 0cf4c46
  peterschrammel

  committed
  0cf4c46

  Copy full SHA for 0cf4c46

• Simplify single-path symex checker

  Show description for 2b1d9f4
  peterschrammel

  committed
  2b1d9f4

  Copy full SHA for 2b1d9f4

• Inline perform_symex utility functions

  Show description for 5281fa6
  peterschrammel

  committed
  5281fa6

  Copy full SHA for 5281fa6