Code

test for bitfield promotion#3713

Code

Merged

tautschnig merged 2 commits intodevelopdiffblue/cbmc:developfrom

bitfield-promotiondiffblue/cbmc:bitfield-promotionCopy head branch name to clipboard

Jan 8, 2019

Commits

Commits on Jan 8, 2019

• Enable compilation of test with gcc/clang

  Show description for 9213145
  

  Daniel Kroening

  committed
  9213145

  Copy full SHA for 9213145

• test for bit-field promotion (#3709)

  Show description for 935a2eb
  

  Daniel Kroening

  committed
  935a2eb

  Copy full SHA for 935a2eb