Test Result : StaticAnalyzer/_/StaticAnalysisTests

0 failures , 3 skipped
75 tests
Took 3 sec.

All Tests

Test nameDurationStatus
CXXDeallocatorCall.SimpleDestructor50 msPassed
CallEvent.CallDescription70 msPassed
FalsePositiveRefutationBRVisitorTestBase.UnSatAtErrorNodeDueToRefinedConstraintNoReport40 msSkipped
FalsePositiveRefutationBRVisitorTestBase.UnSatAtErrorNodeWithNewSymbolNoReport40 msSkipped
FalsePositiveRefutationBRVisitorTestBase.UnSatInTheMiddleNoReport40 msSkipped
ParamRegion.ParamRegionTest50 msPassed
RangeSetTest/0.RangeSetAddTest40 msPassed
RangeSetTest/0.RangeSetContainsTest40 msPassed
RangeSetTest/0.RangeSetDeletePointTest40 msPassed
RangeSetTest/0.RangeSetGenericIntersectTest40 msPassed
RangeSetTest/0.RangeSetNegateTest40 msPassed
RangeSetTest/0.RangeSetPointIntersectTest40 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.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.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.RangeSetGenericIntersectTest40 msPassed
RangeSetTest/4.RangeSetNegateTest40 msPassed
RangeSetTest/4.RangeSetPointIntersectTest40 msPassed
RangeSetTest/4.RangeSetRangeIntersectTest40 msPassed
RangeSetTest/5.RangeSetAddTest40 msPassed
RangeSetTest/5.RangeSetContainsTest40 msPassed
RangeSetTest/5.RangeSetDeletePointTest40 msPassed
RangeSetTest/5.RangeSetGenericIntersectTest40 msPassed
RangeSetTest/5.RangeSetNegateTest40 msPassed
RangeSetTest/5.RangeSetPointIntersectTest40 msPassed
RangeSetTest/5.RangeSetRangeIntersectTest40 msPassed
RangeSetTest/6.RangeSetAddTest40 msPassed
RangeSetTest/6.RangeSetContainsTest40 msPassed
RangeSetTest/6.RangeSetDeletePointTest40 msPassed
RangeSetTest/6.RangeSetGenericIntersectTest40 msPassed
RangeSetTest/6.RangeSetNegateTest40 msPassed
RangeSetTest/6.RangeSetPointIntersectTest40 msPassed
RangeSetTest/6.RangeSetRangeIntersectTest40 msPassed
RangeSetTest/7.RangeSetAddTest40 msPassed
RangeSetTest/7.RangeSetContainsTest40 msPassed
RangeSetTest/7.RangeSetDeletePointTest40 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
StaticAnalyzerOptions.SearchInParentPackageTests40 msPassed
StaticAnalyzerOptions.StringOptions30 msPassed
StaticAnalyzerOptions.SubCheckerOptions30 msPassed
StaticAnalyzerOptions.getRegisteredCheckers30 msPassed
Store.LiteralCompound40 msPassed
Store.VariableBind40 msPassed
SymbolReaper.SuperRegionLiveness40 msPassed
TestReturnValueUnderConstructionChecker.ReturnValueUnderConstructionChecker60 msPassed