Code

Verbosity parsing/handling cleanup#2210

Code

Merged

tautschnig merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:verbosity-cleanuptautschnig/cbmc:verbosity-cleanupCopy head branch name to clipboard

May 22, 2018

Commits

Commits on May 21, 2018

• Do not redundantly set the message handler

  Show description for b4731eb
  tautschnig

  committed
  b4731eb

  Copy full SHA for b4731eb

• Use a single implementation of eval_verbosity

  Show description for bf04bcb
  tautschnig

  committed
  bf04bcb

  Copy full SHA for bf04bcb

• Warn if user-specified verbosity is out of range

  tautschnig

  committed
  6344b4f

  Copy full SHA for 6344b4f

• Use enum entries instead of numeric values when comparing verbosity

  tautschnig

  committed
  215cd69

  Copy full SHA for 215cd69