Problem while running prism

26 views

Skip to first unread message

ALPHY GEORGE

unread,

Feb 7, 2024, 2:06:18 AM2/7/24

to PRISM model checker

Hello,

I tried installing prism on ubuntu. But i am keep getting the error

./prism
Error: Could not find or load main class prism.PrismCL
Caused by: java.lang.ClassNotFoundException: prism.PrismCL

How to resolve this?

Dave Parker

unread,

Feb 7, 2024, 3:00:00 AM2/7/24

to prismmod...@googlegroups.com, ALPHY GEORGE

Hi,

If you installed a binary, did you definitely run ./install.sh?

If you compiled from source, were there any errors before the end?

Best wishes,

Dave

> --
> 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/0da16e7c-0d03-42f7-ae42-996c5aad4141n%40googlegroups.com <https://groups.google.com/d/msgid/prismmodelchecker/0da16e7c-0d03-42f7-ae42-996c5aad4141n%40googlegroups.com?utm_medium=email&utm_source=footer>.

Reply all

Reply to author

Forward

0 new messages