Skip to content

dump value when assert fails

Codecov / codecov/patch succeeded Dec 22, 2023 in 0s

64.28% of diff hit (target 0.00%)

View this Pull Request on Codecov

64.28% of diff hit (target 0.00%)

Annotations

Check warning on line 140 in svf-llvm/include/SVF-LLVM/LLVMUtil.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/include/SVF-LLVM/LLVMUtil.h#L140 

Added line #L140 was not covered by tests

Check warning on line 144 in svf-llvm/include/SVF-LLVM/LLVMUtil.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/include/SVF-LLVM/LLVMUtil.h#L144 

Added line #L144 was not covered by tests

Check warning on line 152 in svf-llvm/include/SVF-LLVM/LLVMUtil.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/include/SVF-LLVM/LLVMUtil.h#L152 

Added line #L152 was not covered by tests

Check warning on line 173 in svf-llvm/include/SVF-LLVM/LLVMUtil.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/include/SVF-LLVM/LLVMUtil.h#L173 

Added line #L173 was not covered by tests

Check warning on line 928 in svf-llvm/lib/LLVMUtil.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/lib/LLVMUtil.cpp#L927-L928 

Added lines #L927 - L928 were not covered by tests

Check warning on line 73 in svf/lib/MemoryModel/AccessPath.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/MemoryModel/AccessPath.cpp#L73 

Added line #L73 was not covered by tests

Check warning on line 76 in svf/lib/MemoryModel/AccessPath.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/MemoryModel/AccessPath.cpp#L76 

Added line #L76 was not covered by tests

Check warning on line 127 in svf/lib/MemoryModel/AccessPath.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/MemoryModel/AccessPath.cpp#L127 

Added line #L127 was not covered by tests

Check warning on line 131 in svf/lib/MemoryModel/AccessPath.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/MemoryModel/AccessPath.cpp#L131 

Added line #L131 was not covered by tests

Check warning on line 233 in svf/lib/MemoryModel/AccessPath.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/MemoryModel/AccessPath.cpp#L232-L233 

Added lines #L232 - L233 were not covered by tests

Check warning on line 273 in svf/lib/MemoryModel/AccessPath.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/MemoryModel/AccessPath.cpp#L273 

Added line #L273 was not covered by tests

Check warning on line 23 in svf/lib/SVFIR/SVFType.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/SVFIR/SVFType.cpp#L23 

Added line #L23 was not covered by tests

Check warning on line 261 in svf/lib/SVFIR/SymbolTableInfo.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/SVFIR/SymbolTableInfo.cpp#L261 

Added line #L261 was not covered by tests
View more details on Codecov