NuSMV modelchecker timeouts slow Jenkins build considerably
The following tests have a considerable long running impact on the
continuous build.
They all result in a timeout (10min):
test.org.fortiss.af3.analyses.ui.modelchecker.ModelCheckerTLCTest.testGloballyButtonPressedIsMerged
10 min
test.org.fortiss.af3.analyses.modelchecking.StructuresModelCheckerTest.testStructuresAsDataStateVariables
10 min
test.org.fortiss.af3.analyses.modelchecking.ModelCheckerTest.testReachabilityInPresenceOfNondeterminismComponentWeaklyCausal
10 min
test.org.fortiss.af3.analyses.modelchecking.patterns.ResponsePatternsModelCheckerTest.testPositiveCase
10 min
test.org.fortiss.af3.analyses.modelchecking.ModelCheckerTest.testReachabilityInPresenceOfNondeterminismComponentStronglyCausal
10 min
test.org.fortiss.af3.analyses.modelchecking.patterns.PrePostModelCheckerTest.testAbsenceGlobally
10 min
test.org.fortiss.af3.analyses.modelchecking.patterns.AbsencePatternsModelCheckerTest.testAbsenceBefore
10 min
test.org.fortiss.af3.analyses.modelchecking.patterns.AbsencePatternsModelCheckerTest.testAbsenceAfter
10 min
test.org.fortiss.af3.analyses.modelchecking.patterns.AbsencePatternsModelCheckerTest.testAbsenceGlobally
10 min
test.org.fortiss.af3.rcapplication.semantic.alignment.nusmv.ModelCheckerEquivalenceTest.testSemanticsAlignment\[4\]
10 min
(from redmine: issue id 2238, created on 2015-01-29, closed on 2015-01-30)