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
723 stars 122 forks source link

Fatal error has occurred #296

Open Francesco-Vinci opened 1 month ago

Francesco-Vinci commented 1 month ago

Opening the jar deliverable on windows 11 this happens: image

Executing it from cmd this is the outcome:

Exception: class java.nio.file.InvalidPathException Message: java.nio.file.InvalidPathException: Illegal char <"> at index 0: "C:\Windows Stacktrace: class java.nio.file.InvalidPathException: Illegal char <"> at index 0: "C:\Windows java.base/sun.nio.fs.WindowsPathParser.normalize(WindowsPathParser.java:182) java.base/sun.nio.fs.WindowsPathParser.parse(WindowsPathParser.java:153) java.base/sun.nio.fs.WindowsPathParser.parse(WindowsPathParser.java:77) java.base/sun.nio.fs.WindowsPath.parse(WindowsPath.java:92) java.base/sun.nio.fs.WindowsFileSystem.getPath(WindowsFileSystem.java:232) java.base/java.nio.file.Path.of(Path.java:148) java.base/java.nio.file.Paths.get(Paths.java:69) edu.mit.csail.sdg.alloy4whole.PreferencesDialog.staticLibrary(PreferencesDialog.java:349) edu.mit.csail.sdg.alloy4whole.PreferencesDialog.testSolvers(PreferencesDialog.java:294) edu.mit.csail.sdg.alloy4whole.PreferencesDialog.<init>(PreferencesDialog.java:264) edu.mit.csail.sdg.alloy4whole.SimpleGUI.finishInit(SimpleGUI.java:2277) edu.mit.csail.sdg.alloy4whole.SimpleGUI.<init>(SimpleGUI.java:2133) edu.mit.csail.sdg.alloy4whole.SimpleGUI.<init>(SimpleGUI.java:201) edu.mit.csail.sdg.alloy4whole.SimpleGUI$7.run(SimpleGUI.java:1987) java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:318) java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:773) java.desktop/java.awt.EventQueue$4.run(EventQueue.java:720) java.desktop/java.awt.EventQueue$4.run(EventQueue.java:714) java.base/java.security.AccessController.doPrivileged(AccessController.java:400) java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:87) java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:742) java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)

tommi00 commented 1 week ago

Same problem

fra01vi commented 1 week ago

I heard that the problem is probably in the PATH environment variable on Windows. Someone I know told me that they solved the issue by modifying it. Anyway, I solved the problem by reinstalling the Windows 11 OS.

tommi00 commented 1 week ago

I heard that the problem is probably in the PATH environment variable on Windows. Someone I know told me that they solved the issue by modifying it. Anyway, I solved the problem by reinstalling the Windows 11 OS.

Do you know how to solve by modifying the PATH environment variable?

fra01vi commented 1 week ago

Unfortunately, i solved only by reinstalling O.S. I tried changing PATH variable several time but i haven’t been able to solve it in this way. Sorry :(