Code

introduce exprt::visit_pre#4543

Code

Merged

tautschnig merged 4 commits intodevelopdiffblue/cbmc:developfrom

exprt_visit_prediffblue/cbmc:exprt_visit_preCopy head branch name to clipboard

Apr 17, 2019

Commits

Commits on Apr 16, 2019

• Introduce exprt::visit_pre

  Show description for f0d7f62
  

  Daniel Kroening

  committed
  f0d7f62

  Copy full SHA for f0d7f62

• use exprt::visit_pre in find_symbols

  Show description for f851337
  

  Daniel Kroening

  committed
  f851337

  Copy full SHA for f851337

• use exprt::visit_pre in goto_symext::trigger_auto_object

  Show description for 9ed682c
  

  Daniel Kroening

  committed
  9ed682c

  Copy full SHA for 9ed682c

• use exprt::visit_pre in collect_deref_expr

  Show description for 58736e3
  

  Daniel Kroening

  committed
  58736e3

  Copy full SHA for 58736e3