Code

Moves is_lvalue to expr_util.c#2635

Code

Merged

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

qaphla:move_is_lvalueqaphla/cbmc:move_is_lvalueCopy head branch name to clipboard

Aug 11, 2018

Commits

Commits on Aug 6, 2018

• Moves is_lvalue to expr_util.c

  Show description for 7b36ca2
  

  klaas

  committed
  7b36ca2

  Copy full SHA for 7b36ca2

• Avoids using expr.op0 when type is known

  

  klaas

  committed
  f212505

  Copy full SHA for f212505