Add support for quantifiers #2726

Sign in to view logs

Triggered via pull request November 25, 2024 17:56

feliperodri

opened #3737

Status Failure

Total duration 36m 12s

Artifacts –

extra_jobs.yml

on: pull_request_target

Verification Benchmarks / perf-benchcomp

Annotations

1 error

Verification Benchmarks / perf-benchcomp

Process completed with exit code 1.