search

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)
6 stars 0 forks source link

Issue with ProB Not responding #265

Closed shanuka2000 closed 1 year ago

shanuka2000 commented 1 year ago

I am trying to open a .mch file in ProB and as soon as I open the file ProB does not respond. I waited for a long time to see if it will work but it does not.

I have tried troubleshooting the issue and tried changing the Java version, running the program as administrator but still the issue isn't resolved .

Also checked the java version and parser version by clicking the button in debug option. It says that the Java version is compatible but the Java B parser was not able to launch. Herewith I will be attaching some screen shots of the issue.

Operating system windows 11 Pro B version 1.8.0-final Java version 1.8.0

image image

iTitus commented 1 year ago

probably a duplicate of #264

leuschel commented 1 year ago

Can you try using ProB 1.11.1 or the latest nightly build (https://prob.hhu.de/w/index.php?title=Download#Nightly_Builds)? Can you try putting ProB into verbose mode before loading the machine (Sets.mch) by choosing "Debugging Info" in the Debug menu? What happens when you run the command-line version of ProB: probcli.exe Sets.mch -init -v

As suggested above, you can also try "Check Java and Parser Version" in the debug menu. My suspicion, however, is that the Windows firewall is preventing ProB Tcl/Tk to communicate with the Java parser.