Skip to content
Evaluation

feat: bring back sensible limits for reflection tactic. #215

Sign in to view logs

feat: bring back sensible limits for reflection tactic.

feat: bring back sensible limits for reflection tactic. #215

Triggered via pull request February 7, 2025 09:01
@bollubollu
opened #1002
limits-bv-automata
Status Cancelled
Total duration 27s
Artifacts –

evaluation.yml

on: pull_request
Evaluation of Tactics & Decision Procedures
0s
Evaluation of Tactics & Decision Procedures
Fit to window
Zoom out
Zoom in

Annotations

1 error
Evaluation of Tactics & Decision Procedures
Canceling since a higher priority waiting request for 'Evaluation-1002' exists