Code

introduce nondet_symbol_exprt#1697

Code

Merged

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

nondet_symbol_exprtdiffblue/cbmc:nondet_symbol_exprtCopy head branch name to clipboard

Jan 9, 2018

Commits

Commits on Jan 9, 2018

• This introduces nondet_symbol_exprt, which is generated by symbolic execution in response to side_effect_expr_nondett

  

  Daniel Kroening

  committed
  2a5cea2

  Copy full SHA for 2a5cea2