Code

Feature/parse int#613#1077

Code

Merged

smowton merged 4 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

owen-mc-diffblue:feature/parseInt#613owen-mc-diffblue/cbmc:feature/parseInt#613Copy head branch name to clipboard

Jul 4, 2017

Commits

Commits on Jul 3, 2017

• Create is_digit_with_radix()

  Show description for 50732ee
  

  Owen Jones

  committed
  50732ee

  Copy full SHA for 50732ee

• add_axioms_for_parse_int can take optional radix

  Show description for 4e5d8cc
  

  Owen Jones

  committed
  4e5d8cc

  Copy full SHA for 4e5d8cc

• Add parseInt with radix to preprocessing

  

  Owen Jones

  committed
  238c02f

  Copy full SHA for 238c02f

• Regression tests

  Show description for bdb1a3c
  

  Owen Jones

  committed
  bdb1a3c

  Copy full SHA for bdb1a3c