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

[PVS-Help] help me!



hi:
   I am a beginner,could you help me ?
   when I use the PVS,the following error happens,what shall I do??Thanks 

[root@gychawk gychawk]# ./bin/relocate
Setting PVSPATH in the "pvs" shell script to /home/gychawk
If this is not the right path, edit the "pvs" script
[root@gychawk gychawk]# ./pvs
./pvs: line 187: [: too many arguments
./pvs: line 200: [: too many arguments
./pvs: line 203: [: too many arguments
Cannot find /home/gychawk/bin/ix86-redhatRed Hat Linux release 9 
(Shrike)/runtime/
Check the values of PVSPATH and PVSLISP
[root@gychawk gychawk]#

_________________________________________________________________
 MSN Explorer:   http://explorer.msn.com/lccn