Code

String abstraction: use tag types#6477

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:string-abstraction-tag-typestautschnig/cbmc:string-abstraction-tag-typesCopy head branch name to clipboard

Nov 25, 2021

Commits

Commits on Nov 24, 2021

• String abstraction: use tag types

  Show description for ba90cd3
  tautschnig

  committed
  ba90cd3

  Copy full SHA for ba90cd3