search

ultimate-pa / ultimate

The Ultimate program analysis framework.
https://ultimate-pa.org/
200 stars 41 forks source link

Let AtomicBlockInfo use more precise types #677

Closed Heizmann closed 2 months ago

Heizmann commented 2 months ago

Use IIcfgTransition instead of IElement because this annotation is always written to edges.

maul-esel commented 2 months ago

@Heizmann I've had a look at the failing tests, the culprit seems to have been an accidental change which I have reverted in c68dfa2. I've started the nightly tests for this PR.

maul-esel commented 2 months ago

:+1: tests are fixed