Test Result : StaticAnalyzer/_/StaticAnalysisTests

0 failures , 3 skipped

75 tests

Took 2.9 sec.

All Tests

Test name	Duration	Status
CXXDeallocatorCall.SimpleDestructor	40 ms	Passed
CallEvent.CallDescription	60 ms	Passed
FalsePositiveRefutationBRVisitorTestBase.UnSatAtErrorNodeDueToRefinedConstraintNoReport	30 ms	Skipped
FalsePositiveRefutationBRVisitorTestBase.UnSatAtErrorNodeWithNewSymbolNoReport	30 ms	Skipped
FalsePositiveRefutationBRVisitorTestBase.UnSatInTheMiddleNoReport	30 ms	Skipped
ParamRegion.ParamRegionTest	40 ms	Passed
RangeSetTest/0.RangeSetAddTest	40 ms	Passed
RangeSetTest/0.RangeSetContainsTest	40 ms	Passed
RangeSetTest/0.RangeSetDeletePointTest	40 ms	Passed
RangeSetTest/0.RangeSetGenericIntersectTest	40 ms	Passed
RangeSetTest/0.RangeSetNegateTest	30 ms	Passed
RangeSetTest/0.RangeSetPointIntersectTest	30 ms	Passed
RangeSetTest/0.RangeSetRangeIntersectTest	40 ms	Passed
RangeSetTest/1.RangeSetAddTest	40 ms	Passed
RangeSetTest/1.RangeSetContainsTest	40 ms	Passed
RangeSetTest/1.RangeSetDeletePointTest	40 ms	Passed
RangeSetTest/1.RangeSetGenericIntersectTest	40 ms	Passed
RangeSetTest/1.RangeSetNegateTest	40 ms	Passed
RangeSetTest/1.RangeSetPointIntersectTest	40 ms	Passed
RangeSetTest/1.RangeSetRangeIntersectTest	40 ms	Passed
RangeSetTest/2.RangeSetAddTest	40 ms	Passed
RangeSetTest/2.RangeSetContainsTest	40 ms	Passed
RangeSetTest/2.RangeSetDeletePointTest	40 ms	Passed
RangeSetTest/2.RangeSetGenericIntersectTest	40 ms	Passed
RangeSetTest/2.RangeSetNegateTest	40 ms	Passed
RangeSetTest/2.RangeSetPointIntersectTest	40 ms	Passed
RangeSetTest/2.RangeSetRangeIntersectTest	40 ms	Passed
RangeSetTest/3.RangeSetAddTest	40 ms	Passed
RangeSetTest/3.RangeSetContainsTest	40 ms	Passed
RangeSetTest/3.RangeSetDeletePointTest	40 ms	Passed
RangeSetTest/3.RangeSetGenericIntersectTest	40 ms	Passed
RangeSetTest/3.RangeSetNegateTest	40 ms	Passed
RangeSetTest/3.RangeSetPointIntersectTest	40 ms	Passed
RangeSetTest/3.RangeSetRangeIntersectTest	40 ms	Passed
RangeSetTest/4.RangeSetAddTest	40 ms	Passed
RangeSetTest/4.RangeSetContainsTest	40 ms	Passed
RangeSetTest/4.RangeSetDeletePointTest	40 ms	Passed
RangeSetTest/4.RangeSetGenericIntersectTest	40 ms	Passed
RangeSetTest/4.RangeSetNegateTest	40 ms	Passed
RangeSetTest/4.RangeSetPointIntersectTest	40 ms	Passed
RangeSetTest/4.RangeSetRangeIntersectTest	40 ms	Passed
RangeSetTest/5.RangeSetAddTest	40 ms	Passed
RangeSetTest/5.RangeSetContainsTest	40 ms	Passed
RangeSetTest/5.RangeSetDeletePointTest	40 ms	Passed
RangeSetTest/5.RangeSetGenericIntersectTest	40 ms	Passed
RangeSetTest/5.RangeSetNegateTest	40 ms	Passed
RangeSetTest/5.RangeSetPointIntersectTest	40 ms	Passed
RangeSetTest/5.RangeSetRangeIntersectTest	40 ms	Passed
RangeSetTest/6.RangeSetAddTest	40 ms	Passed
RangeSetTest/6.RangeSetContainsTest	40 ms	Passed
RangeSetTest/6.RangeSetDeletePointTest	40 ms	Passed
RangeSetTest/6.RangeSetGenericIntersectTest	30 ms	Passed
RangeSetTest/6.RangeSetNegateTest	40 ms	Passed
RangeSetTest/6.RangeSetPointIntersectTest	40 ms	Passed
RangeSetTest/6.RangeSetRangeIntersectTest	40 ms	Passed
RangeSetTest/7.RangeSetAddTest	40 ms	Passed
RangeSetTest/7.RangeSetContainsTest	40 ms	Passed
RangeSetTest/7.RangeSetDeletePointTest	40 ms	Passed
RangeSetTest/7.RangeSetGenericIntersectTest	40 ms	Passed
RangeSetTest/7.RangeSetNegateTest	40 ms	Passed
RangeSetTest/7.RangeSetPointIntersectTest	40 ms	Passed
RangeSetTest/7.RangeSetRangeIntersectTest	40 ms	Passed
RegisterCustomCheckers.CheckLocationIncDec	40 ms	Passed
RegisterCustomCheckers.RegisterChecker	40 ms	Passed
RegisterDeps.DependencyInteraction	60 ms	Passed
RegisterDeps.SimpleWeakDependency	60 ms	Passed
RegisterDeps.UnsatisfiedDependency	40 ms	Passed
StaticAnalyzerOptions.SearchInParentPackageTests	30 ms	Passed
StaticAnalyzerOptions.StringOptions	30 ms	Passed
StaticAnalyzerOptions.SubCheckerOptions	30 ms	Passed
StaticAnalyzerOptions.getRegisteredCheckers	30 ms	Passed
Store.LiteralCompound	40 ms	Passed
Store.VariableBind	40 ms	Passed
SymbolReaper.SuperRegionLiveness	40 ms	Passed
TestReturnValueUnderConstructionChecker.ReturnValueUnderConstructionChecker	50 ms	Passed