Build and Test on *BSD

Solver factory: set_decision_procedure_time_limit does not require dynamic_cast #1055

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 7m 59s

Artifacts –

bsd.yaml

on: pull_request