Test Summary
|
99%
successful |
Failed tests
- ProofJavaProgramFactoryTest. testAttachCommentsCompilationUnit_LockSpec()
- TestIntLiteralParsing. -2147483649
- TestIntLiteralParsing. 2147483648
- TestIntLiteralParsing. 0x1_0000_0000
- TestIntLiteralParsing. 0b1_0000_0000_0000_0000_0000_0000_0000_0000
- TestIntLiteralParsing. 0400_0000_0000
- TestIntLiteralParsing. -9_223_372_036_854_775_809L
- TestIntLiteralParsing. 9223372036854775808L
- TestIntLiteralParsing. 0x1_0000_0000_0000_0000L
- TestIntLiteralParsing. 0b10000_0000000000_0000000000_0000000000_0000000000_0000000000_0000000000L
- TestIntLiteralParsing. 020_0000_0000_0000_0000_0000L
- TestCollisionResolving. testNameConflictAfterInput()
- TestCollisionResolving. testVarNamespaceCreationWithPrefix()
- TestTacletBuild. testSchemavariablesInAddrulesRespectPrefix()
- TestJMLTranslator. testInfiniteUnion()
- ContractLoadingTests. issues1658()
- NJmlTranslatorTests. testWarnRequires()
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] ex1.props
- MasterHandlerTest. [11] float.sinDouble.props
- MasterHandlerTest. [12] cast1.props
- MasterHandlerTest. [13] int1.props
- MasterHandlerTest. [14] heap1.props
- MasterHandlerTest. [15] cast2.props
- MasterHandlerTest. [16] quant2.props
- MasterHandlerTest. [17] ite1.props
- MasterHandlerTest. [18] upd1.props
- MasterHandlerTest. [19] types1.props
- MasterHandlerTest. [1] cast3.props
- MasterHandlerTest. [20] types2.props
- MasterHandlerTest. [21] bool3.props
- MasterHandlerTest. [22] float.sqrt1.props
- MasterHandlerTest. [23] ex2.props
- MasterHandlerTest. [24] float.sqrt2.props
- MasterHandlerTest. [2] bool2.props
- MasterHandlerTest. [3] bool1.props
- MasterHandlerTest. [4] float1.props
- MasterHandlerTest. [5] upd2.props
- MasterHandlerTest. [6] uninterpreted1.props
- MasterHandlerTest. [7] float.eq.props
- MasterHandlerTest. [8] float2.props
- MasterHandlerTest. [9] quant1.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()