Code

Library preconditions#1834

Code

Merged

tautschnig merged 3 commits intodevelopdiffblue/cbmc:developfrom library-preconditionsdiffblue/cbmc:library-preconditionsCopy head branch name to clipboardFeb 14, 2018

+200-122

Commits

Commits on Feb 13, 2018

• preconditions for delete and delete[]

  

  Daniel Kroening

  committed
  c94548c

  Copy full SHA for c94548c

Commits on Feb 14, 2018

• pre-conditions for strings

  

  Daniel Kroening

  committed
  9ea0cc6

  Copy full SHA for 9ea0cc6

• turn some assertions in the stdlib.h models into preconditions

  

  Daniel Kroening

  committed
  f6f45fc

  Copy full SHA for f6f45fc