Test Result : StaticAnalyzer/_/StaticAnalysisTests

0 failures , 3 skipped
75 tests
Took 2.8 sec.

All Tests

Test nameDurationStatus
CXXDeallocatorCall.SimpleDestructor40 msPassed
CallEvent.CallDescription50 msPassed
FalsePositiveRefutationBRVisitorTestBase.UnSatAtErrorNodeDueToRefinedConstraintNoReport30 msSkipped
FalsePositiveRefutationBRVisitorTestBase.UnSatAtErrorNodeWithNewSymbolNoReport30 msSkipped
FalsePositiveRefutationBRVisitorTestBase.UnSatInTheMiddleNoReport30 msSkipped
ParamRegion.ParamRegionTest40 msPassed
RangeSetTest/0.RangeSetAddTest40 msPassed
RangeSetTest/0.RangeSetContainsTest40 msPassed
RangeSetTest/0.RangeSetDeletePointTest30 msPassed
RangeSetTest/0.RangeSetGenericIntersectTest30 msPassed
RangeSetTest/0.RangeSetNegateTest30 msPassed
RangeSetTest/0.RangeSetPointIntersectTest30 msPassed
RangeSetTest/0.RangeSetRangeIntersectTest40 msPassed
RangeSetTest/1.RangeSetAddTest40 msPassed
RangeSetTest/1.RangeSetContainsTest40 msPassed
RangeSetTest/1.RangeSetDeletePointTest40 msPassed
RangeSetTest/1.RangeSetGenericIntersectTest40 msPassed
RangeSetTest/1.RangeSetNegateTest40 msPassed
RangeSetTest/1.RangeSetPointIntersectTest40 msPassed
RangeSetTest/1.RangeSetRangeIntersectTest30 msPassed
RangeSetTest/2.RangeSetAddTest40 msPassed
RangeSetTest/2.RangeSetContainsTest40 msPassed
RangeSetTest/2.RangeSetDeletePointTest40 msPassed
RangeSetTest/2.RangeSetGenericIntersectTest30 msPassed
RangeSetTest/2.RangeSetNegateTest40 msPassed
RangeSetTest/2.RangeSetPointIntersectTest40 msPassed
RangeSetTest/2.RangeSetRangeIntersectTest40 msPassed
RangeSetTest/3.RangeSetAddTest40 msPassed
RangeSetTest/3.RangeSetContainsTest40 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.RangeSetGenericIntersectTest30 msPassed
RangeSetTest/4.RangeSetNegateTest30 msPassed
RangeSetTest/4.RangeSetPointIntersectTest40 msPassed
RangeSetTest/4.RangeSetRangeIntersectTest40 msPassed
RangeSetTest/5.RangeSetAddTest40 msPassed
RangeSetTest/5.RangeSetContainsTest40 msPassed
RangeSetTest/5.RangeSetDeletePointTest40 msPassed
RangeSetTest/5.RangeSetGenericIntersectTest30 msPassed
RangeSetTest/5.RangeSetNegateTest30 msPassed
RangeSetTest/5.RangeSetPointIntersectTest40 msPassed
RangeSetTest/5.RangeSetRangeIntersectTest30 msPassed
RangeSetTest/6.RangeSetAddTest40 msPassed
RangeSetTest/6.RangeSetContainsTest30 msPassed
RangeSetTest/6.RangeSetDeletePointTest30 msPassed
RangeSetTest/6.RangeSetGenericIntersectTest30 msPassed
RangeSetTest/6.RangeSetNegateTest30 msPassed
RangeSetTest/6.RangeSetPointIntersectTest40 msPassed
RangeSetTest/6.RangeSetRangeIntersectTest40 msPassed
RangeSetTest/7.RangeSetAddTest40 msPassed
RangeSetTest/7.RangeSetContainsTest40 msPassed
RangeSetTest/7.RangeSetDeletePointTest30 msPassed
RangeSetTest/7.RangeSetGenericIntersectTest30 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
StaticAnalyzerOptions.SearchInParentPackageTests30 msPassed
StaticAnalyzerOptions.StringOptions30 msPassed
StaticAnalyzerOptions.SubCheckerOptions30 msPassed
StaticAnalyzerOptions.getRegisteredCheckers30 msPassed
Store.LiteralCompound40 msPassed
Store.VariableBind40 msPassed
SymbolReaper.SuperRegionLiveness40 msPassed
TestReturnValueUnderConstructionChecker.ReturnValueUnderConstructionChecker50 msPassed