We already noticed it and will roll back in V3
With the best regards Jivan Hakobyan > On 29 Nov 2023, at 21:37, Joern Rennecke <joern.renne...@embecosm.com> wrote: > > Why did you leave out MINUS from safe_for_live_propagation ?
We already noticed it and will roll back in V3
With the best regards Jivan Hakobyan > On 29 Nov 2023, at 21:37, Joern Rennecke <joern.renne...@embecosm.com> wrote: > > Why did you leave out MINUS from safe_for_live_propagation ?