Code

Feature expr2c extension#2599

Code

Closed

mmuesly wants to merge 5 commits intodiffblue:developdiffblue/cbmc:developfrom

mmuesly:feature_expr2c_extensionmmuesly/cbmc:feature_expr2c_extensionCopy head branch name to clipboard

Commits

Commits on Aug 2, 2018

• Converting exprt to c code without padding and struct declaration

  mmuesly

  committed
  53c6387

  Copy full SHA for 53c6387

• C doesn't support TRUE and FALSE, so this change should make it compilable.

  mmuesly

  committed
  eb1e418

  Copy full SHA for eb1e418

• Adding missing comments for doxygen check

  mmuesly

  committed
  e3c1a68

  Copy full SHA for e3c1a68

• adapt regression tests to changes

  mmuesly

  committed
  d7cb110

  Copy full SHA for d7cb110

• Changing assert to invarianten check for cpp lint check

  mmuesly

  committed
  1381399

  Copy full SHA for 1381399