Skip to content

K-bound ignored in explicit engine - fix #2163245 - #224

Merged
srba merged 3 commits into
TAPAAL:mainfrom
mtygesen:explicit-engine-ignoring-k-bound
Aug 14, 2026
Merged

K-bound ignored in explicit engine - fix #2163245#224
srba merged 3 commits into
TAPAAL:mainfrom
mtygesen:explicit-engine-ignoring-k-bound

Merge branch 'TAPAAL:main' into explicit-engine-ignoring-k-bound

e0d73f7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Aug 14, 2026 in 5m 12s