SMT2 back-end: report error when invoking solver fails #528
tautschnigperformance.yaml
on: pull_request
perf-benchcomp
29m 25s
Annotations
1 error
|
perf-benchcomp
Process completed with exit code 1.
|