Code

fix #4165#4170

Code

Merged

NikolajBjorner merged 1 commit intoZ3Prover:masterZ3Prover/z3:masterfrom hgvk94:master_bug_fixhgvk94/z3:master_bug_fixCopy head branch name to clipboardApr 30, 2020

+48-4

Commits

Commits on Apr 30, 2020

• [spacer] implement spacer::is_clause()

  Show description for 5064955
  

  agurfinkel

  authored and

  hgvk94

  committed
  5064955

  Copy full SHA for 5064955