Code

Fix interpolant with empty model#510

Code

Merged

disteph merged 2 commits intomasterSRI-CSL/yices2:masterfrom fix-interpolant-with-empty-modelSRI-CSL/yices2:fix-interpolant-with-empty-modelCopy head branch name to clipboardApr 18, 2024

+129

Commits

Commits on Apr 17, 2024

• false_term as interpolant when assumptions are empty

  ahmed-irfan

  committed
  644d02d

  Copy full SHA for 644d02d

Commits on Apr 18, 2024

• api test

  ahmed-irfan

  committed
  1769a43

  Copy full SHA for 1769a43