Syntactic checks

convert `s_until` and `s_until_with` to LTL #2420

Sign in to view logs

Triggered via pull request April 24, 2025 22:19

kroening

synchronize #1085

sva-until-to-ltl

Status Success

Total duration 1m 35s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format