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>.

[Ethan Zhu]

Hello!

I am experiencing the same issue on MacOS. The PRISM file is stored in my Icloud drive, but when I run bash, it says it is stored in "dxp". Here is the output for the command:

+ PRISM_DIR=/Users/dxp/tmp/prism-4.8.1-src/prism

+ '[' '' = '' ']'

+ PRISM_JAVA=java

++ which java

++ grep -q '^/usr/bin'

+ '[' -x /usr/libexec/java_home ']'

++ /usr/libexec/java_home

+ PRISM_JAVA=/Library/Java/JavaVirtualMachines/jdk-22.jdk/Contents/Home/bin/java

+ ARGS=("$@")

+ (( i=0 ))

+ (( i<0 ))

+ '[' '' '!=' '' ']'

+ PRISM_JAVAMAXMEM=-Xmx1g

+ (( i=0 ))

+ (( i<0 ))

+ '[' '' '!=' '' ']'

+ PRISM_JAVASTACKSIZE=-Xss4m

+ ARGS=("$@")

+ (( i=0 ))

+ (( i<0 ))

+ ARGS=("$@")

+ (( i=0 ))

+ (( i<0 ))

+ PRISM_CLASSPATH='/Users/dxp/tmp/prism-4.8.1-src/prism/lib/prism.jar:/Users/dxp/tmp/prism-4.8.1-src/prism/classes:/Users/dxp/tmp/prism-4.8.1-src/prism:/Users/dxp/tmp/prism-4.8.1-src/prism/lib/pepa.zip:/Users/dxp/tmp/prism-4.8.1-src/prism/lib/*'

+ PRISM_LIB_PATH=/Users/dxp/tmp/prism-4.8.1-src/prism/lib

+ DYLD_LIBRARY_PATH=/Users/dxp/tmp/prism-4.8.1-src/prism/lib

+ JAVA_LIBRARY_PATH=/Users/dxp/tmp/prism-4.8.1-src/prism/lib

+ export PRISM_DIR DYLD_LIBRARY_PATH

+ PRISM_MAINCLASS=prism.PrismCL

+ PRISM_HEADLESS=true

+ PRISM_ICON=-Xdock:icon=/Users/dxp/tmp/prism-4.8.1-src/prism/etc/icons/p64.png

+ PRISM_DOCK_NAME=-Xdock:name=PRISM

+ '[' '' '!=' '' ']'

+ '[' '' = yes ']'

+ '[' '' = yes ']'

+ exec /Library/Java/JavaVirtualMachines/jdk-22.jdk/Contents/Home/bin/java -Xmx1g -Xss4m -Xdock:icon=/Users/dxp/tmp/prism-4.8.1-src/prism/etc/icons/p64.png -Xdock:name=PRISM -Djava.awt.headless=true -Djava.library.path=/Users/dxp/tmp/prism-4.8.1-src/prism/lib -classpath '/Users/dxp/tmp/prism-4.8.1-src/prism/lib/prism.jar:/Users/dxp/tmp/prism-4.8.1-src/prism/classes:/Users/dxp/tmp/prism-4.8.1-src/prism:/Users/dxp/tmp/prism-4.8.1-src/prism/lib/pepa.zip:/Users/dxp/tmp/prism-4.8.1-src/prism/lib/*' prism.PrismCL

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

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

--------------

If someone has some insight on what could be happening, let me know. I can move it back to downloads if that's the issue. 

Thanks,
Ethan Zhu

[Dave Parker]

Hi Ethan,

PRISM_DIR should have beeon configured to contain the actual location of
your PRISM install. For a binary release, this happens when you run the
script ./install.sh. Do that and, if needed, check that PRISM_DIR (in
bin/prism) has been updated.

Hope that helps,

Dave

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

> > <https://groups.google.com/d/msgid/prismmodelchecker/
> ed014520-32bc-4934-9302-73f63de12059n%40googlegroups.com?
> utm_medium=email&utm_source=footer <https://groups.google.com/d/
> msgid/prismmodelchecker/
> ed014520-32bc-4934-9302-73f63de12059n%40googlegroups.com?
> utm_medium=email&utm_source=footer>>.

>
> --
> 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, visit https://groups.google.com/d/msgid/
> prismmodelchecker/ed3e6530-bf74-49f0-a261-
> ff0438effc01n%40googlegroups.com <https://groups.google.com/d/msgid/
> prismmodelchecker/ed3e6530-bf74-49f0-a261-
> ff0438effc01n%40googlegroups.com?utm_medium=email&utm_source=footer>.