Code

prop_conv_solvert: introduce scopes#4510

Code

Merged

kroening merged 4 commits intodevelopdiffblue/cbmc:developfrom

solver-scopesdiffblue/cbmc:solver-scopesCopy head branch name to clipboard

Jun 15, 2021

Commits

Commits on Jun 15, 2021

• consolidate let-related tests for smt2_solver

  Show description for 58df539
  

  Daniel Kroening

  authored and

  kroening

  committed
  58df539

  Copy full SHA for 58df539

• prop_conv_solvert: remove let conversion

  Show description for 028ac2c
  

  Daniel Kroening

  authored and

  kroening

  committed
  028ac2c

  Copy full SHA for 028ac2c

• boolbvt: introduce scopes

  Show description for 4da9fad
  

  Daniel Kroening

  authored and

  kroening

  committed
  4da9fad

  Copy full SHA for 4da9fad

• smt2_solver: add another test for bit-vector let

  

  Daniel Kroening

  authored and

  kroening

  committed
  de99e34

  Copy full SHA for de99e34