I am using the terminal on an Apple M1 MacBook. I am executing the terminal with Rosetta, trying to be compatible for a tool that is not for ARM. The tool itself is the UPPAAL tool for 32-bit Mac OS X, version 4.0.13. The program opens but I get an error when trying to use it:
Cannot run program "/Users/Me/Uppaal/bin-Darvin/server": error=86, Bad CPU type in executable
I am getting this error if I try to use the script and if I try to run manually the executables, even if I am trying to execute them with "arch -x86_64" before them. I acknowledge that the problem is probably caused because my computer is ARM-based while this is probably not an ARM code. However, would it be possible to sort this out with Rosetta or any similar tool? Perhaps Rosetta is not working properly on my computer?