Code

Rewrite parseint code to use modulo#1169

Code

Merged

thk123 merged 6 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

owen-mc-diffblue:feature/rewrite-add-axioms-for-parse-int#702-againowen-mc-diffblue/cbmc:feature/rewrite-add-axioms-for-parse-int#702-againCopy head branch name to clipboard

Jul 27, 2017

Commits

Commits on Jul 26, 2017

• Fix formatting spotted by the linter

  

  Owen Jones

  committed
  3a13476

  Copy full SHA for 3a13476

• Refactor add_axioms_for_correct_number_format

  Show description for ca96a49
  

  Owen Jones

  committed
  ca96a49

  Copy full SHA for ca96a49

Commits on Jul 27, 2017

• Rewrite parseint code to use modulo

  Show description for 527c282
  

  Owen Jones

  committed
  527c282

  Copy full SHA for 527c282

• Refactor helper functions

  

  Owen Jones

  committed
  448abb6

  Copy full SHA for 448abb6

• Refactor big for loop into a function

  

  Owen Jones

  committed
  7aaf761

  Copy full SHA for 7aaf761

• Updated two unit tests

  

  Owen Jones

  committed
  4cfbfb5

  Copy full SHA for 4cfbfb5