Re: Error occured when use ProB

[Michael Leuschel]

Hi,

there are several 

have you tried running

  probcli.exe -check_java_version ?

You can also execute the “Check Java and Parser Version” command in the Debug menu.

Please let us know what the result of this is.

You may want to have a look at the Java section of the download site:

 https://www3.hhu.de/stups/prob/index.php/Download

Greetings,

Michael

 

On 27 Jul 2017, at 22:33, lissy...@gmail.com wrote:

When I try to open an eample file in ProB, it shows that "Could not execute command "c:/programdata/oracle/java/javapath/java.exe" due to exception:  system_error"(as shown in the picture). Why this error ouccred and how to solve it? Thanks for your help!

<Auto Generated Inline Image 1.png>

--
You received this message because you are subscribed to the Google Groups "ProB Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to prob-users+...@googlegroups.com.
To post to this group, send email to prob-...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/prob-users/33e827da-ad91-472b-a7f2-1757205e2f03%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
<Auto Generated Inline Image 1.png>

[lissy...@gmail.com]

Hi,

The probcli.exe cannot be opened on my computer, it only dispalys a black window and will close automatically 1 second later. Whtat's wrong with it and how can I do to solve this problem?

Thanks,

Li

在 2017年7月27日星期四 UTC+1下午9:40:18，Michael Leuschel写道：

[Michael Leuschel]

You need to run probcli.cmd from a Windows command shell:

 http://www.digitalcitizen.life/7-ways-launch-command-prompt-windows-7-windows-8

or use the command in the debug menu.

Greetings,

Michael

To view this discussion on the web visit https://groups.google.com/d/msgid/prob-users/2ad1d948-cc02-4cdd-b7fc-f87b08932b46%40googlegroups.com.