Code

SMT2 parser errors#3441

Code

Merged

tautschnig merged 2 commits intodevelopdiffblue/cbmc:developfrom

smt2_parser_errorsdiffblue/cbmc:smt2_parser_errorsCopy head branch name to clipboard

Nov 29, 2018

Commits

Commits on Nov 29, 2018

• smt2 parser: track parenthesis level

  Show description for 9d178f4
  

  Daniel Kroening

  committed
  9d178f4

  Copy full SHA for 9d178f4

• exception based error handling for SMT2 files

  

  Daniel Kroening

  committed
  e6049e1

  Copy full SHA for e6049e1