Test Case Generation not possible for Formal Specifications in MIRA
When creating a formal spec for a requirement you cannot generate e.g.,
Transition Converage Tests.
A click on Generate Test Suite results in an error:
Caused by: java.lang.NullPointerException
at
org.fortiss.tooling.kernel.utils.KernelModelElementUtils.getRootElement(KernelModelElementUtils.java:54)
(from redmine: issue id 1203, created on 2013-01-24, closed on 2013-01-25)