Syntactic checks

Solver factory: all solvers are stack_decision_proceduret #2673

Sign in to view logs

Triggered via pull request August 20, 2024 08:23

tautschnig

synchronize #8408

tautschnig:solver-factory-no-dynamic_cast

Status Success

Total duration 2m 4s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format