Test Summary
|
99%
successful |
Failed tests
- TestLocalSymbols. testSkolemization()
- TestProofBundleIO. testComplexBundleGeneration()
- MergeRuleTests. testDoAutomaticGcdProofWithMergePointStatementAndBlockContract()
- MergeRuleTests. testDoAutomaticGcdProofWithMergePointStatements()
- MergeRuleTests. testDoManualGcdProof()
- TestProofStarter. testDirectProof()
- TestProofStarter. testDirectProofWithOneStepSimplification()
Ignored tests
- TestRecoder2KeY. xtestFileInput()
- TestClashFreeSubst. xtestMultiClash()
- TestClashFreeSubst. xtestMultiClash1()
- TestDeclParser. testAmbiguousDecls()
- TestDeclParser. testGenericSortDecl5()
- TestParser. testRelativeInclude()
- TestTermParser. test12()
- TestTermParser. testJavaQueryAndAttribute_all()
- TestTermParser. xtestBindingUpdateTermOldBindingAlternative()
- TestTermParser. xtestParsingArrayWithSpaces()
- ParserMessageTest. verifyColumnNumber()
- ParserMessageTest. verifyLineNumber()
- ParserMessageTest. verifyMessage()
- TestTacletIndex. disabled_testNonInteractiveIsShownOnlyIfHeuristicIsMissed()
- TestProgramMetaConstructs. testASTWalker()
- MasterHandlerTest. [10] heap1.props
- MasterHandlerTest. [11] float.sqrt2.props
- MasterHandlerTest. [12] float.sinDouble.props
- MasterHandlerTest. [13] cast3.props
- MasterHandlerTest. [14] float.sqrt1.props
- MasterHandlerTest. [15] int1.props
- MasterHandlerTest. [16] quant2.props
- MasterHandlerTest. [17] float.eq.props
- MasterHandlerTest. [18] bool3.props
- MasterHandlerTest. [19] types1.props
- MasterHandlerTest. [1] ite1.props
- MasterHandlerTest. [20] cast1.props
- MasterHandlerTest. [21] quant1.props
- MasterHandlerTest. [22] cast2.props
- MasterHandlerTest. [23] ex2.props
- MasterHandlerTest. [24] types2.props
- MasterHandlerTest. [2] bool1.props
- MasterHandlerTest. [3] float2.props
- MasterHandlerTest. [4] bool2.props
- MasterHandlerTest. [5] ex1.props
- MasterHandlerTest. [6] upd2.props
- MasterHandlerTest. [7] uninterpreted1.props
- MasterHandlerTest. [8] upd1.props
- MasterHandlerTest. [9] float1.props
- TestCvc4. testAdd1()
- TestCvc4. testAllex1()
- TestCvc4. testAllex2()
- TestCvc4. testAllex3()
- TestCvc4. testAndnot()
- TestCvc4. testAndornot()
- TestCvc4. testAndornot2()
- TestCvc4. testBProd1()
- TestCvc4. testBProd2()
- TestCvc4. testBProd3()
- TestCvc4. testBSum1()
- TestCvc4. testBSum2()
- TestCvc4. testBSum3()
- TestCvc4. testBinderPred2()
- TestCvc4. testBinderPred3()
- TestCvc4. testEqual1()
- TestCvc4. testEqual2()
- TestCvc4. testEqui1()
- TestCvc4. testEqui2()
- TestCvc4. testImply()
- TestCvc4. testImply2()
- TestCvc4. testImply3()
- TestCvc4. testLogicalIte1()
- TestCvc4. testLogicalIte2()
- TestCvc4. testOrnot()
- TestCvc4. testSubsort1()
- TestCvc4. testSubsort2()
- TestZ3. testAdd1()
- TestZ3. testAllex1()
- TestZ3. testAllex2()
- TestZ3. testAllex3()
- TestZ3. testAndnot()
- TestZ3. testAndornot()
- TestZ3. testAndornot2()
- TestZ3. testBProd1()
- TestZ3. testBProd2()
- TestZ3. testBProd3()
- TestZ3. testBSum1()
- TestZ3. testBSum2()
- TestZ3. testBSum3()
- TestZ3. testBinderPred2()
- TestZ3. testBinderPred3()
- TestZ3. testDiv1()
- TestZ3. testDiv3()
- TestZ3. testDiv5()
- TestZ3. testDiv6()
- TestZ3. testEqual1()
- TestZ3. testEqual2()
- TestZ3. testEqui1()
- TestZ3. testEqui2()
- TestZ3. testImply()
- TestZ3. testImply2()
- TestZ3. testImply3()
- TestZ3. testLogicalIte1()
- TestZ3. testLogicalIte2()
- TestZ3. testOrnot()
- TestZ3. testSubsort1()
- TestZ3. testSubsort2()
- TestJMLPreTranslator. disabled_testMLCommentEndInSLComment1()
- TestJMLPreTranslator. disabled_testMLCommentEndInSLComment2()
- TestTriggersSet. testTrigger2()
- DesignTests. xtestTermSubclassVisibility()
- TestProofUserManager. testUserManagement_NoEnvironment()