Langenfeld

Actual is correct, test must be fixed.

please update ultimate to the newest (nightly) build: Ex.2: rt-incosnistency found Ex.3: is still wrong, and needs some investigation

So, I tried to replicate the problem, and found that this only happens in the web interface. For now using the binary version should be a good workaround, as I...

> Thanks! I have to discuss the next step operator with Daniel and Vincent before I can say something. On the BüchiProduct side, this should work fine. But I am...

@martin-neuhaeusser Sorry, yes, it runs after the product generation (and therefore does not have any negative effect in that case).

> * [ ] Remove "BndEntryConditionPattern" why should this one be deleted? (also they are used afaik)

Seems to be a good idea, but i am wondering if each name contains redundant information i.e. ``Bound`` and additionally ``L2`` wich also signals a lower bound on the second...

The problem is, that the product generator ignores everything, that is of the ``ULTIMATE.start`` or ``.init`` functions. The inliner seems to set these functions for all the statements, that are...

Thanks, although we had some unfortunate timing: I refactored some of the code you worked in during the last weeks, especially removing the redundant page-iteration code for requests. It would...

Hey, (and also sorry for the long absence), yes, merging some of your changes would be really nice. I would agree, that we should use black in order to keep...