Code

introduce make_boolean_expr#4722

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

make_boolean_exprdiffblue/cbmc:make_boolean_exprCopy head branch name to clipboard

May 30, 2019

Commits

Commits on May 30, 2019

• introduce make_boolean_expr

  Show description for f5d7dee
  

  Daniel Kroening

  committed
  f5d7dee

  Copy full SHA for f5d7dee

• use make_boolean_expr instead of exprt::make_bool

  Show description for ca2dab5
  

  Daniel Kroening

  committed
  ca2dab5

  Copy full SHA for ca2dab5

• deprecate exprt::make_bool

  Show description for e60d6e9
  

  Daniel Kroening

  committed
  e60d6e9

  Copy full SHA for e60d6e9