Skip to content
lint

SMTLib2: only send exit command if solver process is active #53

Sign in to view logs

SMTLib2: only send exit command if solver process is active

SMTLib2: only send exit command if solver process is active #53

Triggered via pull request February 26, 2025 19:11
@danmatichukdanmatichuk
synchronize #288
dm/timeout-fix
Status Success
Total duration 1m 18s
Artifacts –

lint.yml

on: pull_request
lint
1m 5s
lint
Fit to window
Zoom out
Zoom in