Student problem running Prism

21 views
Skip to first unread message

Arnaud Sangnier

unread,
Feb 6, 2022, 5:24:07 PMFeb 6
to PRISM model checker
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

unread,
Feb 7, 2022, 12:10:53 PMFeb 7
to PRISM model checker
Check  "Running PRISM on non-Windows platforms" at the link  PRISM Manual | Installing PRISM / Common Problems And Questions (prismmodelchecker.org)

Regards,     ...Ramesh

Dave Parker

unread,
Feb 7, 2022, 12:17:30 PMFeb 7
to prismmod...@googlegroups.com, Ramesh Kumar
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>.
Reply all
Reply to author
Forward
0 new messages