Test Result : StaticAnalyzer/_/StaticAnalysisTests

0 failures
20 tests
Took 1 sec.

All Tests

Test nameDurationStatus
CXXDeallocatorCall.SimpleDestructor60 msPassed
CallEvent.CallDescription80 msPassed
FalsePositiveRefutationBRVisitor.UnSatAtErrorNodeDueToRefinedConstraintNoReport40 msPassed
FalsePositiveRefutationBRVisitor.UnSatAtErrorNodeWithNewSymbolNoReport40 msPassed
FalsePositiveRefutationBRVisitor.UnSatInTheMiddleNoReport40 msPassed
ParamRegion.ParamRegionTest60 msPassed
RangeSetTest.RangeSetNegateTest50 msPassed
RegisterCustomCheckers.CheckLocationIncDec50 msPassed
RegisterCustomCheckers.RegisterChecker50 msPassed
RegisterDeps.DependencyInteraction80 msPassed
RegisterDeps.SimpleWeakDependency80 msPassed
RegisterDeps.UnsatisfiedDependency50 msPassed
StaticAnalyzerOptions.SearchInParentPackageTests40 msPassed
StaticAnalyzerOptions.StringOptions40 msPassed
StaticAnalyzerOptions.SubCheckerOptions40 msPassed
StaticAnalyzerOptions.getRegisteredCheckers40 msPassed
Store.LiteralCompound50 msPassed
Store.VariableBind50 msPassed
SymbolReaper.SuperRegionLiveness50 msPassed
TestReturnValueUnderConstructionChecker.ReturnValueUnderConstructionChecker70 msPassed