Shuanglong Kan

I checked the pom.xml file and found lexer and parser files are generated automatically from the flex file. Do I need to install some tools for this?

> Hi! Did you follow the setup instructions in [our wiki](https://github.com/ultimate-pa/ultimate/wiki/Installation) and install the tools mentioned there? And if so, did you encounter problems with any of the steps? Hi,...

For example, compiling the package: AutomataScriptParser, I got the following: Buildfile: /ultimate/trunk/source/AutomataScriptParser/src/de/uni_freiburg/informatik/ultimate/plugins/source/automatascriptparser/build-parser.xml BUILD FAILED java.lang.UnsupportedOperationException: The Security Manager is deprecated and will be removed in a future release at java.base/java.lang.System.setSecurityManager(System.java:425)...

> 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...

> > 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...

Ah. OK, I use oracle jdk. is it different from openjdk?

Moreover, I found the file MANIFEST.MF in ACSLParser, it has one line: .... Bundle-RequiredExecutionEnvironment: JavaSE-1.8 .... So my eclispe loads javaSE-1.8 instead of JAVASE-1.1. I don't know why two packages...

> > 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...

I fixed all the compilation errors. Still one problem when I try to run Automizer. The error is the following: java.lang.NullPointerException at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginFactory.loadControllerPlugin(PluginFactory.java:290) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginFactory.loadControllerPlugin(PluginFactory.java:251) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginFactory.(PluginFactory.java:103) at de.uni_freiburg.informatik.ultimate.core.coreplugin.UltimateCore.start(UltimateCore.java:178) at...

> Can you give us some information to reproduce this? How did you run Automizer, on which input, etc. ? I cannot start the developer GUI in Eclipse. I opened...