automatalib icon indicating copy to clipboard operation
automatalib copied to clipboard
verified publisher icon LearnLib

M3C does not run on M1 MacBooks

Open VishalPatel43 opened this issue 2 years ago • 1 comments

Java 17 and Maven 3.9.5 There is issue while installing the automatalib --> mvn clean install

Screenshot 2023-10-11 at 13 31 54 Screenshot 2023-10-11 at 13 32 02

VishalPatel43 avatar Oct 11 '23 08:10 VishalPatel43

As per LearnLib/learnlib#94

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.

The corresponding feature request can be found under https://gitlab.com/scce/add-lib/-/issues/125

mtf90 avatar Oct 11 '23 12:10 mtf90