Throw `SolverException` when interpolation fails · sosy-lab/java-smt@d498dbc

Re-run triggered August 4, 2026 16:02

baierd

#701

solver-exceptions

Status Failure

Total duration 1m 49s

Artifacts 18

ci.yml

on: pull_request

Matrix: linux

Matrix: macos

Matrix: windows

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size	Digest
junit-results-linux-x64-java17	331 KB	`sha256:7dbcd102e53c135c4c0b8b7767fbf24902c508b47be44f5451748945a4366935`