search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
709 stars 124 forks source link

"An error has occurred!" #86

Closed dtornow closed 5 years ago

dtornow commented 5 years ago

Hello.

I downloaded and installed Alloy 5.0.0.201804081720 but every time I execute a model e.g.

sig Foo {}

I get the error message

An error has occurred!

without additional details.

Any ideas of how to fix or where to look for more details?

Thank you

pkriens commented 5 years ago

Please provide platform details (os, version, java vm version, etc.) and how you start it up

dtornow commented 5 years ago

I'm running the Alloy Analyzer on macOS Mojave 10.14.5, Java Version 1.7.0. I start the application by double clicking the application icon.

Thanks for your help

aleksandarmilicevic commented 5 years ago

Probably something about Mojave. I just tried it on 10.13.6 and it works fine. I'm using Java 9 though:

java version "9.0.4"
Java(TM) SE Runtime Environment (build 9.0.4+11)
Java HotSpot(TM) 64-Bit Server VM (build 9.0.4+11, mixed mode)

Can you try updating your Java?

Also please try installing Alloy-5.0.0.1.pkg instead of using the jar file directly.

dtornow commented 5 years ago

Updating Java did the trick! Many thanks