Verification for Decision Model and Notation issueshttps://gitlab.uni-koblenz.de/jonasblatt/ma-jonasblatt-dmn-verifier/-/issues2021-04-20T12:17:31Zhttps://gitlab.uni-koblenz.de/jonasblatt/ma-jonasblatt-dmn-verifier/-/issues/18Different verification classifications for different outputs2021-04-20T12:17:31ZJonas BlattDifferent verification classifications for different outputsIf the output is different => higher level of verification classifications (more critical)If the output is different => higher level of verification classifications (more critical)KW 45 (Nov 4, 2019–Nov 10, 2019)https://gitlab.uni-koblenz.de/jonasblatt/ma-jonasblatt-dmn-verifier/-/issues/16Note hit policy2021-04-20T12:17:55ZJonas BlattNote hit policyDifferent verification classifications (Information / Warning / Error) for diffent hit policiesDifferent verification classifications (Information / Warning / Error) for diffent hit policiesKW 45 (Nov 4, 2019–Nov 10, 2019)