Code

enable nondeterministic pointers#6326

Code

Merged

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

any_objectdiffblue/cbmc:any_objectCopy head branch name to clipboard

Dec 1, 2021

Commits

Commits on Nov 29, 2021

• enable nondeterministic pointers

  Show description for 3789670
  

  kroening

  authored and

  tautschnig

  committed
  3789670

  Copy full SHA for 3789670