Code

Disable timeout test for CVC4 1.8#283

Code

Merged

langston-barrett merged 1 commit intomasterGaloisInc/what4:masterfrom lb/cvc4-timeoutGaloisInc/what4:lb/cvc4-timeoutCopy head branch name to clipboardFeb 5, 2025

+4-1

Commits

Commits on Feb 5, 2025

• Disable timeout test for CVC4 1.8

  langston-barrett

  committed
  a9ae1be

  Copy full SHA for a9ae1be