Fix handling of pointer comparisons in FunctionPointerTransferRelation
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Fix handling of pointer comparisons in FunctionPointerTransferRelation
Matthias Kettl
requested to merge
1438-weird-behavior-in-goblint-coreutils-sv-benchmarks
into
main
Nov 13, 2025
Overview
17
Commits
7
Pipelines
8
Changes
5
Closes
#1438 (closed)
Merge request reports
Loading