Build Problem

[VishalPatel43]

I did both IntelliJ IDEA and VS Code get the error while build the project.
System: Macbook Air M1
Use Java 17 and Maven 3.9.5

System: Ubuntu 22.04
Use Java 17 and Maven 3.6.3

IntelliJ IDEA

VS CODE

[mtf90]

The problem is that you are trying to build the development version of LearnLib which also requires the development version of AutomataLib. You can either clone and import (the development version of) AutomataLib as well (which makes sense if you want to work on a feature spanning both libraries -- we usually keep them in sync with each other) or include the snapshot repo which contains the development artifacts of AutomataLib via CI/CD.

[VishalPatel43]

[mtf90]

This appears to be a problem with ADDLib which is used internally by the M3C model checker and currently does not support the M1 architecture. I'll relay the information to the developers and see what they have to say.

For now, you could either compile the AutomataLib without tests (e.g., mvn clean install -DskipTests), use the pre-compiled artifacts from the SNAPSHOT repo (if you don't need changes in AutomataLib), or use your Ubuntu Linux setup.

Edit: I just saw that you opened LearnLib/automatalib#59 as well which I think is the better place to follow up on the AutomataLib issue. So if you manage to get LearnLib running, I'm happy to close this issue here.