maul.esel

It's hard to debug these things remotely. But from that message, the Java version could be an issue? We currently only support building Ultimate on JDK 11 to JDK 14;...

> I found another issue with the Mac platform. When a variable is defined with "var", the eclipse reported an error and asked to change to Java 10 for compilation....

I just installed `openjdk-11-jdk` via my (Ubuntu) package manager.

> Ah. OK, I use oracle jdk. is it different from openjdk? In general, I don't think it *should* make a difference. But who knows... Specifically, the error about the...

Can you give us some information to reproduce this? How did you run Automizer, on which input, etc. ?

Great to hear that you got it to build :tada: Regarding `makeFresh.sh`: I'm not very familiar with this script, so the following is somewhat based on guesses. * You can...

Possibly needed: a `GetRequiredAlignment()` method for structure classes. This might allow writing more generic code for alignment issues.

Didn't test yet, but I can't imagine [this](74290d340f0) to do the same thing?! Did you look at my code?

Just to clarify: By _"existing and whitelisted"_ I mean the intersection; the API client should not be able to distinguish them (it should not be able to _see_ non-whitelisted settings).

@schuessf and I discussed a related option: To prevent out-of-sync settings, should we automatically generate the web interface's config.js from an .epf file (e.g. SV-COMP settings) _as part of the...