test suite generation with state coverage throws exception
When trying to generate the test suite with state coverage enabled:
!ENTRY org.fortiss.af3.testing.ui 4 0 2012-05-03 13:29:47.672
!MESSAGE
!STACK 0
java.lang.NullPointerException
at
org.fortiss.af3.tools.base.ToolRunnerBase$LazyResultBase.get(ToolRunnerBase.java:304)
at
org.fortiss.af3.analyses.modelchecking.LazyModelCheckingAnalysisResult.get(LazyModelCheckingAnalysisResult.java:99)
at
org.fortiss.af3.analyses.modelchecking.LazyModelCheckingAnalysisResult.get(LazyModelCheckingAnalysisResult.java:1)
at
org.fortiss.af3.testing.modelchecking.StatesCoverageAnalyzer$1.computeAtomicResult(StatesCoverageAnalyzer.java:114)
at
org.fortiss.af3.analyses.base.LazyCompositeResult.get(LazyCompositeResult.java:56)
at
org.fortiss.af3.testing.modelchecking.ModelCheckingTestSuiteGenerator.generate(ModelCheckingTestSuiteGenerator.java:78)
at
org.fortiss.af3.testing.ui.action.GenerateTestSuiteAction.run(GenerateTestSuiteAction.java:83)
(from redmine: issue id 800, created on 2012-05-03, closed on 2012-05-07)
- Uploads: