[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 1.2.2.36 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.