Code

Restore array-set for nondet arrays#820

Code

Merged

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

smowton:smowton/fix/init_zero_length_arrayssmowton/cbmc:smowton/fix/init_zero_length_arraysCopy head branch name to clipboard

Apr 12, 2017

Commits

Commits on Apr 12, 2017

• Restore array-set for nondet arrays

  Show description for 035ae92
  smowton

  committed
  035ae92

  Copy full SHA for 035ae92