Code

SMT2 solver: implement get-value#3461

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

smt2_solver_get-valuediffblue/cbmc:smt2_solver_get-valueCopy head branch name to clipboard

Nov 28, 2018

Commits

Commits on Nov 24, 2018

• move smt2_format into separate file

  

  Daniel Kroening

  committed
  449a3f9

  Copy full SHA for 449a3f9

Commits on Nov 25, 2018

• smt2_format can now format symbols and constants

  

  Daniel Kroening

  committed
  d5db868

  Copy full SHA for d5db868

• smt2_solver: implement get-value

  

  Daniel Kroening

  committed
  d6f7c5a

  Copy full SHA for d6f7c5a