Test Summary

3052

tests
0

failures
102

ignored
9m56.12s

duration
100%

successful

Ignored tests

Packages

Package Tests Failures Ignored Duration Success rate
de.uka.ilkd.key.java 24 0 1 12.785s 100%
de.uka.ilkd.key.java.recoderext 3 0 0 0.071s 100%
de.uka.ilkd.key.java.visitor 1 0 0 0.009s 100%
de.uka.ilkd.key.logic 138 0 2 1m48.35s 100%
de.uka.ilkd.key.macros.scripts 11 0 0 31.740s 100%
de.uka.ilkd.key.macros.scripts.meta 5 0 0 7.316s 100%
de.uka.ilkd.key.nparser 2057 0 0 7.622s 100%
de.uka.ilkd.key.parser 196 0 7 1m9.16s 100%
de.uka.ilkd.key.parser.messages 3 0 3 0s -
de.uka.ilkd.key.parser.proofjava 4 0 0 0.023s 100%
de.uka.ilkd.key.pp 1 0 0 0s 100%
de.uka.ilkd.key.proof 11 0 1 6.001s 100%
de.uka.ilkd.key.proof.io 1 0 0 9.494s 100%
de.uka.ilkd.key.proof.io.consistency 3 0 0 8.866s 100%
de.uka.ilkd.key.proof.reference 1 0 0 9.267s 100%
de.uka.ilkd.key.proof.replay 1 0 0 9.835s 100%
de.uka.ilkd.key.rule 56 0 0 8.382s 100%
de.uka.ilkd.key.rule.conditions 3 0 0 0.013s 100%
de.uka.ilkd.key.rule.inst 8 0 0 0.010s 100%
de.uka.ilkd.key.rule.loop 1 0 0 5.965s 100%
de.uka.ilkd.key.rule.match.legacy 4 0 0 1.210s 100%
de.uka.ilkd.key.rule.match.vm 6 0 0 0.007s 100%
de.uka.ilkd.key.rule.merge 14 0 0 1m38.88s 100%
de.uka.ilkd.key.rule.metaconstruct 7 0 1 0.024s 100%
de.uka.ilkd.key.rule.tacletbuilder 5 0 0 4.717s 100%
de.uka.ilkd.key.smt 25 0 0 0.047s 100%
de.uka.ilkd.key.smt.communication 5 0 0 0.007s 100%
de.uka.ilkd.key.smt.newsmt2 73 0 24 1m28.01s 100%
de.uka.ilkd.key.smt.test 58 0 58 0.057s -
de.uka.ilkd.key.speclang 3 0 0 10.173s 100%
de.uka.ilkd.key.speclang.jml 47 0 2 3.601s 100%
de.uka.ilkd.key.speclang.jml.pretranslation 1 0 0 0.010s 100%
de.uka.ilkd.key.speclang.njml 222 0 0 17.503s 100%
de.uka.ilkd.key.strategy.quantifierHeuristics 2 0 1 0.004s 100%
de.uka.ilkd.key.taclettranslation 5 0 0 0.026s 100%
de.uka.ilkd.key.taclettranslation.lemma 1 0 0 0.013s 100%
de.uka.ilkd.key.util 36 0 2 1m16.94s 100%
de.uka.ilkd.key.util.pp 10 0 0 0.002s 100%

Classes

Class Tests Failures Ignored Duration Success rate
de.uka.ilkd.key.java.ProofJavaProgramFactoryTest 5 0 0 2.146s 100%
de.uka.ilkd.key.java.TestContextStatementBlock 1 0 0 1.422s 100%
de.uka.ilkd.key.java.TestJavaCardDLJavaExtensions 2 0 0 8.351s 100%
de.uka.ilkd.key.java.TestJavaInfo 9 0 0 0.017s 100%
de.uka.ilkd.key.java.TestKeYRecoderMapping 2 0 0 0.003s 100%
de.uka.ilkd.key.java.TestPositions 1 0 0 0.084s 100%
de.uka.ilkd.key.java.TestRecoder2KeY 4 0 1 0.762s 100%
de.uka.ilkd.key.java.recoderext.TestEnumClassDeclaration 3 0 0 0.071s 100%
de.uka.ilkd.key.java.visitor.TestDeclarationProgramVariableCollector 1 0 0 0.009s 100%
de.uka.ilkd.key.logic.LabeledTermImplTest 2 0 0 0.003s 100%
de.uka.ilkd.key.logic.TestClashFreeSubst 14 0 2 13.814s 100%
de.uka.ilkd.key.logic.TestLocalSymbols 2 0 0 5.923s 100%
de.uka.ilkd.key.logic.TestName 1 0 0 0.001s 100%
de.uka.ilkd.key.logic.TestNamespace 4 0 0 0.003s 100%
de.uka.ilkd.key.logic.TestPosInOcc 2 0 0 0.002s 100%
de.uka.ilkd.key.logic.TestPosInProgram 31 0 0 0.106s 100%
de.uka.ilkd.key.logic.TestPosInTerm 7 0 0 0.004s 100%
de.uka.ilkd.key.logic.TestSemisequent 15 0 0 0.007s 100%
de.uka.ilkd.key.logic.TestSyntacticalReplaceVisitor 2 0 0 0.002s 100%
de.uka.ilkd.key.logic.TestTerm 9 0 0 0.012s 100%
de.uka.ilkd.key.logic.TestTermBuilder 6 0 0 20.419s 100%
de.uka.ilkd.key.logic.TestTermFactory 19 0 0 0.049s 100%
de.uka.ilkd.key.logic.TestTermLabelManager 21 0 0 1m7.99s 100%
de.uka.ilkd.key.logic.TestVariableNamer 3 0 0 0.007s 100%
de.uka.ilkd.key.macros.scripts.FocusCommandTest 2 0 0 7.083s 100%
de.uka.ilkd.key.macros.scripts.SMTCommandTest 1 0 0 0.001s 100%
de.uka.ilkd.key.macros.scripts.ScriptLineParserTest 1 0 0 0.012s 100%
de.uka.ilkd.key.macros.scripts.TestProofScriptCommand 7 0 0 24.644s 100%
de.uka.ilkd.key.macros.scripts.meta.RewriteTest 2 0 0 7.312s 100%
de.uka.ilkd.key.macros.scripts.meta.ValueInjectorTest 3 0 0 0.004s 100%
de.uka.ilkd.key.nparser.ExprTest 23 0 0 3.140s 100%
de.uka.ilkd.key.nparser.ParseLDTsTests 2 0 0 1.360s 100%
de.uka.ilkd.key.nparser.TestTacletEquality 2032 0 0 3.122s 100%
de.uka.ilkd.key.parser.TestDeclParser 14 0 2 13.097s 100%
de.uka.ilkd.key.parser.TestIntLiteralParsing 67 0 0 0.075s 100%
de.uka.ilkd.key.parser.TestJMLParserAssociativity 1 0 0 34.710s 100%
de.uka.ilkd.key.parser.TestParallelParsing 1 0 0 15.029s 100%
de.uka.ilkd.key.parser.TestParser 5 0 1 5.683s 100%
de.uka.ilkd.key.parser.TestTacletParser 20 0 0 0.099s 100%
de.uka.ilkd.key.parser.TestTermParser 47 0 4 0.219s 100%
de.uka.ilkd.key.parser.TestTermParserHeap 39 0 0 0.214s 100%
de.uka.ilkd.key.parser.TestTermParserSorts 2 0 0 0.029s 100%
de.uka.ilkd.key.parser.messages.ParserMessageTest 3 0 3 0s -
de.uka.ilkd.key.parser.proofjava.TestProofJavaParser 4 0 0 0.023s 100%
de.uka.ilkd.key.pp.PrettyPrinterTest 1 0 0 0s 100%
de.uka.ilkd.key.proof.TestGoal 2 0 0 0.047s 100%
de.uka.ilkd.key.proof.TestOneStepSimplifier 1 0 0 4.804s 100%
de.uka.ilkd.key.proof.TestProofTree 1 0 0 0.009s 100%
de.uka.ilkd.key.proof.TestTacletIndex 5 0 1 1.136s 100%
de.uka.ilkd.key.proof.TestTermTacletAppIndex 2 0 0 0.005s 100%
de.uka.ilkd.key.proof.io.TestZipProofSaving 1 0 0 9.494s 100%
de.uka.ilkd.key.proof.io.consistency.TestProofBundleIO 3 0 0 8.866s 100%
de.uka.ilkd.key.proof.reference.TestReferenceSearcher 1 0 0 9.267s 100%
de.uka.ilkd.key.proof.replay.TestCopyingReplayer 1 0 0 9.835s 100%
de.uka.ilkd.key.rule.TestApplyTaclet 29 0 0 5.424s 100%
de.uka.ilkd.key.rule.TestCollisionResolving 7 0 0 0.093s 100%
de.uka.ilkd.key.rule.TestMatchTaclet 16 0 0 1.661s 100%
de.uka.ilkd.key.rule.TestSchemaModalOperators 4 0 0 1.204s 100%
de.uka.ilkd.key.rule.conditions.TestDropEffectlessElementary 3 0 0 0.013s 100%
de.uka.ilkd.key.rule.inst.TestGenericSortInstantiations 8 0 0 0.010s 100%
de.uka.ilkd.key.rule.loop.LoopScopeInvRuleTests 1 0 0 5.965s 100%
de.uka.ilkd.key.rule.match.legacy.TestLegacyTacletMatch 4 0 0 1.210s 100%
de.uka.ilkd.key.rule.match.vm.VMTacletMatcherTest 6 0 0 0.007s 100%
de.uka.ilkd.key.rule.merge.MergeRuleTests 11 0 0 1m31.89s 100%
de.uka.ilkd.key.rule.merge.PredicateAbstractionLatticeTests 3 0 0 6.987s 100%
de.uka.ilkd.key.rule.metaconstruct.TestProgramMetaConstructs 7 0 1 0.024s 100%
de.uka.ilkd.key.rule.tacletbuilder.TestTacletBuild 5 0 0 4.717s 100%
de.uka.ilkd.key.smt.SMTBeautifierTest 22 0 0 0.012s 100%
de.uka.ilkd.key.smt.TestSMTFocusResults 2 0 0 0.009s 100%
de.uka.ilkd.key.smt.TestUnsatCore 1 0 0 0.026s 100%
de.uka.ilkd.key.smt.communication.BufferedMessageReaderTest 5 0 0 0.007s 100%
de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest 48 0 24 0.434s 100%
de.uka.ilkd.key.smt.newsmt2.ProveSMTLemmasTest 25 0 0 1m27.57s 100%
de.uka.ilkd.key.smt.test.TestCvc4 27 0 27 0.034s -
de.uka.ilkd.key.smt.test.TestZ3 31 0 31 0.023s -
de.uka.ilkd.key.speclang.ContractFactoryTest 3 0 0 10.173s 100%
de.uka.ilkd.key.speclang.jml.JMLUtilsTest 2 0 0 0.007s 100%
de.uka.ilkd.key.speclang.jml.TestJMLPreTranslator 20 0 2 0.039s 100%
de.uka.ilkd.key.speclang.jml.TestJMLTranslator 25 0 0 3.555s 100%
de.uka.ilkd.key.speclang.jml.pretranslation.TextualJMLAssertStatementTest 1 0 0 0.010s 100%
de.uka.ilkd.key.speclang.njml.ClasslevelTranslatorTest 184 0 0 1.258s 100%
de.uka.ilkd.key.speclang.njml.ContractLoadingTests 4 0 0 16.111s 100%
de.uka.ilkd.key.speclang.njml.ExpressionTranslatorTest 14 0 0 0.035s 100%
de.uka.ilkd.key.speclang.njml.MethodlevelTranslatorTest 13 0 0 0.087s 100%
de.uka.ilkd.key.speclang.njml.NJmlTranslatorTests 5 0 0 0.010s 100%
de.uka.ilkd.key.speclang.njml.TextualTranslatorTest 2 0 0 0.002s 100%
de.uka.ilkd.key.strategy.quantifierHeuristics.TestTriggersSet 2 0 1 0.004s 100%
de.uka.ilkd.key.taclettranslation.TestTacletTranslator 5 0 0 0.026s 100%
de.uka.ilkd.key.taclettranslation.lemma.TestGenericRemovingLemmaGenerator 1 0 0 0.013s 100%
de.uka.ilkd.key.util.DesignTests 3 0 1 1.075s 100%
de.uka.ilkd.key.util.TestEqualsModProofIrrelevancy 1 0 0 10.306s 100%
de.uka.ilkd.key.util.TestLexicographicComparator 1 0 0 0.001s 100%
de.uka.ilkd.key.util.TestMiscTools 9 0 0 0.053s 100%
de.uka.ilkd.key.util.TestNodePreorderIterator 4 0 0 0.023s 100%
de.uka.ilkd.key.util.TestProofStarter 2 0 0 1m5.43s 100%
de.uka.ilkd.key.util.TestProofUserManager 3 0 1 0.014s 100%
de.uka.ilkd.key.util.TestSearchNodePreorderIterator 4 0 0 0.016s 100%
de.uka.ilkd.key.util.TestSearchNodeReversePreorderIterator 4 0 0 0.017s 100%
de.uka.ilkd.key.util.TestVersionStringComparator 5 0 0 0.001s 100%
de.uka.ilkd.key.util.pp.TestLayouter 10 0 0 0.002s 100%