Skip to content

Add proper support for :named smtlib annotations #571

Add proper support for :named smtlib annotations

Add proper support for :named smtlib annotations #571

Triggered via pull request November 17, 2023 14:22
@GburyGbury
synchronize #199
smt2_named
Status Success
Total duration 48m 0s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

install.yml

on: pull_request
Matrix: install
Fit to window
Zoom out
Zoom in