Code

add further formatters#6874

Code

Merged

kroening merged 4 commits intodevelopdiffblue/cbmc:developfrom

more_formatters2diffblue/cbmc:more_formatters2Copy head branch name to clipboard

May 24, 2022

Commits

Commits on May 23, 2022

• output_instruction now nicely formats output statements

  Show description for 5f97793
  kroening

  committed
  5f97793

  Copy full SHA for 5f97793

• fallback formatter: don't print #source_location=""

  Show description for c253c7b
  kroening

  committed
  c253c7b

  Copy full SHA for c253c7b

• add to_object_size_expr

  Show description for 969afc7
  kroening

  committed
  969afc7

  Copy full SHA for 969afc7

• add formatters for four expressions

  Show description for f9456fe
  kroening

  committed
  f9456fe

  Copy full SHA for f9456fe