Code

symex: source is not optional#3890

Code

Merged

tautschnig merged 3 commits intodevelopdiffblue/cbmc:developfrom

source-is-not-optionaldiffblue/cbmc:source-is-not-optionalCopy head branch name to clipboard

Feb 12, 2019

Commits

Commits on Feb 12, 2019

• Ensure goto_symex_statet::source is always set

  Show description for 09de169
  

  Daniel Kroening

  authored and

  tautschnig

  committed
  09de169

  Copy full SHA for 09de169

• Refactor goto_symext initialisation API

  Show description for 4302619
  tautschnig

  committed
  4302619

  Copy full SHA for 4302619

• remove the trivial constructor from symex_targett::sourcet

  Show description for 9e0c5a3
  

  Daniel Kroening

  authored and

  tautschnig

  committed
  9e0c5a3

  Copy full SHA for 9e0c5a3