maul.esel

I know the Reload command, it seems you're missing the point. A hotkey will not be able to run if the script has stopped because of a syntax or runtime...

> Is there a particular need for arrays with non-zero lower bounds? I thought it's a nice feature, allowing users to use the _full potential_ of SAFEARRAYs. I imagine there...

> Adding "more support" for the sake of completeness is not productive. Why not? IMO completeness is important for a general-purpose scripting language as AHK has become. > Generally the...

> Do you know of any COM object that returns an array with more than 8 dimensions? No. However, I don't really understand why you refuse additions so heavily? It...

If we omit such assumptions, the witness should be considered syntactically correct. I seem to remember I tried this for one of them, and CPAChecker then successfully validated it... but...

OK, this took much longer, but I finally got to it. For all the witnesses I was able to reproduce with a timeout of 300s, it made no difference to...

I think the linter mostly checks the XML structure, it probably does not parse the expressions. Might be a feature to add.

After discussion with @Heizmann, we have decided to spend a little more time on this and make sure all soundness issues surrounding constants in the `SdHoareTripleChecker` are fixed (e.g. also...

## Update: Why Inlining solves all (and none of the) problems When inlining is turned on, all code is inlined in ULTIMATE.start. LTLAutomizer does not analyse anything in that procedure....

You could also try wrapping the individual steps in `atomic` blocks (see [here](https://github.com/ultimate-pa/ultimate/wiki/Boogie) for some explanation and an example), IIRC that should have a similar effect for LTL. Though I...