Skip to content
GitLab
Explore
Sign in
Jonas Blatt
Verification for Decision Model and Notation
Issues
#41
Verifier: Unreachable rules
HitPolicy "First"
1: "a" 2: "a" <-- Unreachable