[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] Installation


I am having problems installing PVS onto my computer.

I run the following commands bin/relocate and ./pvs but nothing works, the following messgae appears:
No executable available in /home/andy/pvs/pvs/bin/ix86-Linux.

Do you have suggestions to this?

Thank you

Andy Harding


Get free emoticon packs and customisation from Windows Live.