Code

Maintain ID_C_expr_simplified#37

Code

Closed

tautschnig wants to merge 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:store-is_simplifiedtautschnig/cbmc:store-is_simplifiedCopy head branch name to clipboard

Commits

Commits on Jun 8, 2017

• Maintain ID_C_expr_simplified

  tautschnig

  committed
  7c9c513

  Copy full SHA for 7c9c513

• Use ID_C_expr_simplified

  tautschnig

  committed
  88e52cf

  Copy full SHA for 88e52cf