Closed michael-schwarz closed 1 month ago
For some reason, this happens on #1417 only.
The issue was present on d8be117080e1f6d0bdc9e8331e888f2d3ac2cf7c on master, so it must have been fixed between then and now on master.
The bisect points at 24760f564f94ea2ecbd903ed169f0a6a97ae6293, which was part of https://github.com/goblint/analyzer/pull/1413/files.
Fixed by #1413
For #1417, I came across an issue in
dump1090
where the fixpoint is not reached. With creduce, I reduced it to the following example: