Skip to content

merging of equivalent states as preprocessing - #1016

Open
tquatmann wants to merge 2 commits into
stormchecker:masterfrom
tquatmann:feature/goal-state-merge
Open

merging of equivalent states as preprocessing#1016
tquatmann wants to merge 2 commits into
stormchecker:masterfrom
tquatmann:feature/goal-state-merge

Fix unused variable.

588933c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Linux Tests (ubuntu-24.04, Release) on ubuntu-latest
succeeded Aug 15, 2026 in 37m 20s