Code

Simplify array size expressions#7622

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:features/simplify-array-sizetautschnig/cbmc:features/simplify-array-sizeCopy head branch name to clipboard

Apr 18, 2023

Commits

Commits on Mar 27, 2023

• Simplify array size expressions

  Show description for 5a65118
  tautschnig

  committed
  5a65118

  Copy full SHA for 5a65118