Syntactic checks

Solver factory: set_decision_procedure_time_limit does not require dynamic_cast #2655

Sign in to view logs

Triggered via pull request August 7, 2024 10:26

tautschnig

opened #8409

tautschnig:solver-factory-no-dynamic_cast2

Status Success

Total duration 1m 21s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format