Student problem running Prism

[Arnaud Sangnier]

Hello,

One of my student has installed Prism on her machine under Ubuntu and when running prism, she got the following message :

Error: Could not find or load main class prism.PrismCL

caused by : java.lang.ClassNotFoundException: prism.PrismCL

I have redone togther with her the installation both from binary and source files and always get this error message...

I have seen that some people have this problem under windows, but never under linux...

Has anyone got an idea on what I should look at to help her solve this issue ?

Thank you for your help.

Best regards,

Arnaud Sangnier

[Ramesh Kumar]

Check  "Running PRISM on non-Windows platforms" at the link  PRISM Manual | Installing PRISM / Common Problems And Questions (prismmodelchecker.org)

Regards,     ...Ramesh

[Dave Parker]

Thanks Ramesh.

Arnaud, I'm not sure what the problem is exactly. To debug, from within
the 'prism' subdirectory:

- check that either classes/prism/PrismCL.class (if compiled from
source) or lib/prism.jar (if running a binary version) exist

- check that the setting of "PRISM_DIR" at the top of bin/prism looks
correct

- try running 'bash -x bin/prism' for possible additional clues about
what is happening (and/or send us the output from that).

Best wishes,

Dave

On 07/02/2022 17:10, Ramesh Kumar wrote:
> Check  "Running PRISM on non-Windows platforms" at the link PRISM Manual
> | Installing PRISM / Common Problems And Questions
> (prismmodelchecker.org)

> <https://www.prismmodelchecker.org/manual/InstallingPRISM/CommonProblemsAndQuestions>

>
> Regards,     ...Ramesh
>
> On Monday, February 7, 2022 at 3:54:07 AM UTC+5:30 a.san...@gmail.com wrote:
>
> Hello,
>
> One of my student has installed Prism on her machine under Ubuntu
> and when running prism, she got the following message :
>
> Error: Could not find or load main class prism.PrismCL
> caused by : java.lang.ClassNotFoundException: prism.PrismCL
>
> I have redone togther with her the installation both from binary and
> source files and always get this error message...
>
> I have seen that some people have this problem under windows, but
> never under linux...
>
> Has anyone got an idea on what I should look at to help her solve
> this issue ?
>
> Thank you for your help.
>
> Best regards,
>
> Arnaud Sangnier
>

> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchec...@googlegroups.com>.
> To view this discussion on the web, visit
> https://groups.google.com/d/msgid/prismmodelchecker/ed014520-32bc-4934-9302-73f63de12059n%40googlegroups.com
> <https://groups.google.com/d/msgid/prismmodelchecker/ed014520-32bc-4934-9302-73f63de12059n%40googlegroups.com?utm_medium=email&utm_source=footer>.