Code

Fix bitfield pretty printing#1736

Code

Merged

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:develop_fix-bitfield-pretty-printinghannes-steffenhagen-diffblue/cbmc:develop_fix-bitfield-pretty-printingCopy head branch name to clipboard

Jan 16, 2018

Commits

Commits on Jan 15, 2018

• Fixes use of wrong identifier when pretty printing bitfield types

  hannes-steffenhagen-diffblue

  committed
  651d8d1

  Copy full SHA for 651d8d1

• Adds regression test for bitfield naming bug

  hannes-steffenhagen-diffblue

  committed
  82a7ec6

  Copy full SHA for 82a7ec6

• Uses alternatives to get_string in type2name when possible

  hannes-steffenhagen-diffblue

  committed
  4f1a67a

  Copy full SHA for 4f1a67a