Skip to content
Back to pull request #8378

SMT2 back-end: report error when invoking solver fails #4950

Sign in to view logs

SMT2 back-end: report error when invoking solver fails

SMT2 back-end: report error when invoking solver fails #4950

Triggered via pull request July 12, 2024 12:13
@tautschnigtautschnig
synchronize #8378
tautschnig:bugfixes/smt2-error-8362
Status Success
Total duration 8m 35s
Artifacts –

publish.yaml

on: pull_request
publish
2m 36s
publish
Fit to window
Zoom out
Zoom in