Test Result : StaticAnalyzer/_/StaticAnalysisTests

0 failures , 4 skipped
102 tests
Took 3.9 sec.

All Tests

Test nameDurationStatus
BugReportInterestingness.Symbols40 msPassed
CXXDeallocatorCall.SimpleDestructor40 msPassed
CallDescription.AliasMultipleNamespaces40 msPassed
CallDescription.AliasNames50 msPassed
CallDescription.AliasSingleNamespace40 msPassed
CallDescription.DontSkipNonInlineNamespaces40 msPassed
CallDescription.LackOfRequiredArguments40 msPassed
CallDescription.MatchBuiltins40 msPassed
CallDescription.MatchConstructor40 msPassed
CallDescription.MatchConversionOperator40 msPassed
CallDescription.NegativeMatchQualifiedNames40 msPassed
CallDescription.QualifiedNames40 msPassed
CallDescription.RejectOverQualifiedNames40 msPassed
CallDescription.RequiredArguments40 msPassed
CallDescription.SimpleNameMatching40 msPassed
CallDescription.SkipAnonimousNamespaces40 msPassed
CallDescription.SkipTopInlineNamespaces40 msPassed
EvalCall.DetectConflictingEvalCalls30 msSkipped
FalsePositiveRefutationBRVisitorTestBase.UnSatAtErrorNodeDueToRefinedConstraintNoReport30 msSkipped
FalsePositiveRefutationBRVisitorTestBase.UnSatAtErrorNodeWithNewSymbolNoReport30 msSkipped
FalsePositiveRefutationBRVisitorTestBase.UnSatInTheMiddleNoReport30 msSkipped
NoStateChangeFuncVisitor.NonThoroughFunctionAnalysis50 msPassed
NoStateChangeFuncVisitor.ThoroughFunctionAnalysis50 msPassed
ParamRegion.ParamRegionTest40 msPassed
RangeSetTest/0.RangeSetAddTest40 msPassed
RangeSetTest/0.RangeSetContainsTest40 msPassed
RangeSetTest/0.RangeSetDeletePointTest40 msPassed
RangeSetTest/0.RangeSetGenericIntersectTest40 msPassed
RangeSetTest/0.RangeSetNegateTest40 msPassed
RangeSetTest/0.RangeSetPointIntersectTest30 msPassed
RangeSetTest/0.RangeSetRangeIntersectTest40 msPassed
RangeSetTest/1.RangeSetAddTest30 msPassed
RangeSetTest/1.RangeSetContainsTest30 msPassed
RangeSetTest/1.RangeSetDeletePointTest30 msPassed
RangeSetTest/1.RangeSetGenericIntersectTest40 msPassed
RangeSetTest/1.RangeSetNegateTest40 msPassed
RangeSetTest/1.RangeSetPointIntersectTest40 msPassed
RangeSetTest/1.RangeSetRangeIntersectTest40 msPassed
RangeSetTest/2.RangeSetAddTest40 msPassed
RangeSetTest/2.RangeSetContainsTest40 msPassed
RangeSetTest/2.RangeSetDeletePointTest40 msPassed
RangeSetTest/2.RangeSetGenericIntersectTest40 msPassed
RangeSetTest/2.RangeSetNegateTest40 msPassed
RangeSetTest/2.RangeSetPointIntersectTest40 msPassed
RangeSetTest/2.RangeSetRangeIntersectTest40 msPassed
RangeSetTest/3.RangeSetAddTest30 msPassed
RangeSetTest/3.RangeSetContainsTest30 msPassed
RangeSetTest/3.RangeSetDeletePointTest40 msPassed
RangeSetTest/3.RangeSetGenericIntersectTest40 msPassed
RangeSetTest/3.RangeSetNegateTest40 msPassed
RangeSetTest/3.RangeSetPointIntersectTest40 msPassed
RangeSetTest/3.RangeSetRangeIntersectTest40 msPassed
RangeSetTest/4.RangeSetAddTest40 msPassed
RangeSetTest/4.RangeSetContainsTest40 msPassed
RangeSetTest/4.RangeSetDeletePointTest40 msPassed
RangeSetTest/4.RangeSetGenericIntersectTest40 msPassed
RangeSetTest/4.RangeSetNegateTest40 msPassed
RangeSetTest/4.RangeSetPointIntersectTest40 msPassed
RangeSetTest/4.RangeSetRangeIntersectTest40 msPassed
RangeSetTest/5.RangeSetAddTest40 msPassed
RangeSetTest/5.RangeSetContainsTest40 msPassed
RangeSetTest/5.RangeSetDeletePointTest30 msPassed
RangeSetTest/5.RangeSetGenericIntersectTest40 msPassed
RangeSetTest/5.RangeSetNegateTest40 msPassed
RangeSetTest/5.RangeSetPointIntersectTest40 msPassed
RangeSetTest/5.RangeSetRangeIntersectTest40 msPassed
RangeSetTest/6.RangeSetAddTest40 msPassed
RangeSetTest/6.RangeSetContainsTest30 msPassed
RangeSetTest/6.RangeSetDeletePointTest40 msPassed
RangeSetTest/6.RangeSetGenericIntersectTest40 msPassed
RangeSetTest/6.RangeSetNegateTest40 msPassed
RangeSetTest/6.RangeSetPointIntersectTest40 msPassed
RangeSetTest/6.RangeSetRangeIntersectTest40 msPassed
RangeSetTest/7.RangeSetAddTest30 msPassed
RangeSetTest/7.RangeSetContainsTest30 msPassed
RangeSetTest/7.RangeSetDeletePointTest30 msPassed
RangeSetTest/7.RangeSetGenericIntersectTest40 msPassed
RangeSetTest/7.RangeSetNegateTest40 msPassed
RangeSetTest/7.RangeSetPointIntersectTest40 msPassed
RangeSetTest/7.RangeSetRangeIntersectTest40 msPassed
RegisterCustomCheckers.CheckLocationIncDec40 msPassed
RegisterCustomCheckers.RegisterChecker40 msPassed
RegisterDeps.DependencyInteraction60 msPassed
RegisterDeps.SimpleWeakDependency60 msPassed
RegisterDeps.UnsatisfiedDependency40 msPassed
SValTest.GetCompoundType40 msPassed
SValTest.GetConstType40 msPassed
SValTest.GetFunctionPtrType40 msPassed
SValTest.GetLabelType40 msPassed
SValTest.GetLocAsIntType40 msPassed
SValTest.GetPointerType40 msPassed
SValTest.GetStringType40 msPassed
SValTest.GetSymExprType40 msPassed
SValTest.GetThisType40 msPassed
StaticAnalyzerOptions.SearchInParentPackageTests30 msPassed
StaticAnalyzerOptions.StringOptions30 msPassed
StaticAnalyzerOptions.SubCheckerOptions30 msPassed
StaticAnalyzerOptions.getRegisteredCheckers30 msPassed
Store.LiteralCompound40 msPassed
Store.VariableBind40 msPassed
SymbolReaper.SuperRegionLiveness40 msPassed
TestReturnValueUnderConstructionChecker.ReturnValueUnderConstructionChecker50 msPassed