Code

Bitvectors are now hexadecimal#3107

Code

Merged

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

hex-bitvectors5diffblue/cbmc:hex-bitvectors5Copy head branch name to clipboard

Nov 5, 2018

Commits

Commits on Nov 5, 2018

• switch representation of bit-vectors to hex

  Show description for c7c4110
  

  Daniel Kroening

  committed
  c7c4110

  Copy full SHA for c7c4110