Code

Add SMT2 array theory functions#6977

Code

Merged

thomasspriggs merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

esteffin:tas/array_functionsesteffin/cbmc:tas/array_functionsCopy head branch name to clipboard

Jun 28, 2022

Commits

Commits on Jun 28, 2022

• Add SMT2 array theory select function

  

  thomasspriggs

  authored and

  Enrico Steffinlongo

  committed
  f51c4cc

  Copy full SHA for f51c4cc

• Add SMT2 array theory store function

  

  Enrico Steffinlongo

  committed
  257bfc4

  Copy full SHA for 257bfc4