Code

Correct type of bdd_cuddt::indext#4356

Code

Merged

romainbrenguier merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:feature/bdd-errorromainbrenguier/cbmc:feature/bdd-errorCopy head branch name to clipboard

Mar 11, 2019

Commits

Commits on Mar 8, 2019

• Correct type of bdd_cuddt::indext

  Show description for 871c551
  romainbrenguier

  committed
  871c551

  Copy full SHA for 871c551

Commits on Mar 11, 2019

• Correct argument type of cudd.bddVar

  Show description for 52ba6c9
  romainbrenguier

  committed
  52ba6c9

  Copy full SHA for 52ba6c9