Code

replace_symbolt with bindings#6827

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

replace_symbol_with_bindingsdiffblue/cbmc:replace_symbol_with_bindingsCopy head branch name to clipboard

Apr 25, 2022

Commits

Commits on Apr 25, 2022

• add non-const to_binding_expr

  Show description for 333e700
  kroening

  committed
  333e700

  Copy full SHA for 333e700

• add array_comprehension case to to_binding_expr

  Show description for f21971d
  kroening

  committed
  f21971d

  Copy full SHA for f21971d

• replace_symbolt now knows bindings

  Show description for e46d2f3
  kroening

  committed
  e46d2f3

  Copy full SHA for e46d2f3