prism installation error meesage

17 views
Skip to first unread message

smsu...@oakland.edu

unread,
Sep 22, 2017, 4:47:37 AM9/22/17
to PRISM model checker
I am trying to install Prism on windows. I changed the javaw in xprism.bat to the full path. so it is : start "PRISM" "C:\Program Files (x86)\Java\jre6\bin\javaw" -Xmx1g 

-Xss4M -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %*

I am now getting the following message:  couldn't find the main class: userinterface/GUIPrism. 

can you help how I can fix it?

Thanks
Reply all
Reply to author
Forward
0 new messages