Code

Add brackets to resolve ambiguity#927

Code

Merged

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

NathanJPhillips:bugfix/mini_bdd-operatorsNathanJPhillips/cbmc:bugfix/mini_bdd-operatorsCopy head branch name to clipboard

May 17, 2017

Commits

Commits on May 16, 2017

• Updated Travis to catch warnings in unit tests

  NathanJPhillips

  committed
  31cba6b

  Copy full SHA for 31cba6b

• Add brackets to resolve ambiguity caused by use of bitwise instead of logical operators

  NathanJPhillips

  committed
  f092445

  Copy full SHA for f092445