Code

Fix issue #241 - Conversion from int#840

Code

Merged

peterschrammel merged 2 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

allredj:test-gen-string-fix-241allredj/cbmc:test-gen-string-fix-241Copy head branch name to clipboard

May 10, 2017

Commits

Commits on May 8, 2017

• Enable working smoke tests

  Show description for 21eeb29
  

  Joel Allred

  committed
  21eeb29

  Copy full SHA for 21eeb29

• Correcting constraints for conversion from int diffblue/test-gen#241

  Show description for 2c78d46
  

  romainbrenguier

  authored and

  Joel Allred

  committed
  2c78d46

  Copy full SHA for 2c78d46