Commit 2fde9942 authored by Hernan Ponce de Leon's avatar Hernan Ponce de Leon
Browse files

Excluded two constraints for demo.

They need to be re implemented to be similar to the others
parent 7774ba30
......@@ -211,7 +211,10 @@
</modelElementClass>
</modelElementConstraintChecker>
<!-- Add new markers here -->
<modelElementConstraintChecker
<!--
those twoo need to be added to the build again
<modelElementConstraintChecker
checker="org.fortiss.af3.mira.verification.RequirementTraceAnalyzedChecker">
<modelElementClass
modelElementClass="org.fortiss.af3.mira.model.Analysis">
......@@ -223,6 +226,7 @@
modelElementClass="org.fortiss.af3.mira.model.Analysis">
</modelElementClass>
</modelElementConstraintChecker>
-->
<modelElementConstraintChecker
checker="org.fortiss.af3.mira.verification.RequirementRedundantTraceChecker">
<modelElementClass
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment