Code

Refactor replace_history_parameter#7686

Code

Merged

tautschnig merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/refactor-replace_history_parametertautschnig/cbmc:cleanup/refactor-replace_history_parameterCopy head branch name to clipboard

May 15, 2023

Commits

Commits on May 15, 2023

• Refactor replace_history_parameter

  Show description for ef24d8e
  tautschnig

  committed
  ef24d8e

  Copy full SHA for ef24d8e

• replace_history_parametert: use an unordered map to symbol_exprt

  Show description for d951013
  tautschnig

  committed
  d951013

  Copy full SHA for d951013

• Refactor replace_history_parameter_rec

  Show description for d875666
  tautschnig

  committed
  d875666

  Copy full SHA for d875666

• Turn tracking-not-support exception into an invariant

  Show description for 74159df
  tautschnig

  committed
  74159df

  Copy full SHA for 74159df