Code

Allow checkcast of null pointer#821

Code

Merged

peterschrammel merged 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

smowton:smowton/fix/checkcast_against_nullsmowton/cbmc:smowton/fix/checkcast_against_nullCopy head branch name to clipboard

Apr 14, 2017

Commits

Commits on Apr 12, 2017

• Allow checkcast of null pointer

  Show description for 3c5ae1a
  smowton

  committed
  3c5ae1a

  Copy full SHA for 3c5ae1a