[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
show-tccs doesn't work
I have problem with command 'tccs'. I get a message "Symbol's function
definition is void: pvs-default-timeout".
I'm using PVS verion 2.3 with patch 220.127.116.11 and xemacs21.
My system is Linux - Debian Potato v 2.2r1.
Everything seems working fine. For example I havn't any problems with
commands tcp, prove, etc. My only problem is that I can't prove tccs
manually because above problem occurs.
Can you describe what I have to do?
I can send every information you need to explain this problem.
Thank you for every help.