Code

dump_c fixes#1659

Code

Merged

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/jmp_buf-symreuk/cbmc:reuk/jmp_buf-symCopy head branch name to clipboard

Dec 8, 2017

Commits

Commits on Dec 5, 2017

• Print exported attribute in expr2c

  reuk

  committed
  23711d7

  Copy full SHA for 23711d7

Commits on Dec 7, 2017

• Include setjmp.h if the jmp_buf symbol is used

  reuk

  committed
  bf4d2c5

  Copy full SHA for bf4d2c5