Code

Fix SMT2 encoding of array_of_exprt#5974

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

padhi-forks:smt2_array_ofpadhi-forks/cbmc:smt2_array_ofCopy head branch name to clipboard

Mar 26, 2021

Commits

Commits on Mar 25, 2021

• Fixed SMT encoding of array_of_exprt

  Show description for aaa7a3a
  SaswatPadhi

  committed
  aaa7a3a

  Copy full SHA for aaa7a3a