Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
Verification for Decision Model and Notation
Verification for Decision Model and Notation
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 7
    • Issues 7
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Operations
    • Operations
    • Incidents
  • Analytics
    • Analytics
    • Repository
    • Value Stream
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
  • Jonas Blatt
  • Verification for Decision Model and NotationVerification for Decision Model and Notation
  • Issues
  • #16

Closed
Open
Opened Oct 17, 2019 by Jonas Blatt@jonasblattMaintainer

Note hit policy

Different verification classifications (Information / Warning / Error) for diffent hit policies

Assignee
Assign to
KW 45 (Nov 4, 2019–Nov 10, 2019)
Milestone
KW 45 (Nov 4, 2019–Nov 10, 2019) (Past due)
Assign milestone
Time tracking
None
Due date
None
Reference: jonasblatt/ma-jonasblatt-dmn-verifier#16