Skip to content
GitLab
Explore
Sign in
i7
peregrine
Repository
peregrine
src
Solver
ReachableTermConfigInConsensus.hs
Find file
Blame
History
Permalink
Add option to check that all potentially reachable terminal
· 940c7426
Philipp Meyer
authored
Dec 18, 2018
configurations are in consensus
940c7426