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

PVS Batch Mode

Hello fellow PVS users,

I am going to use PVS in batch mode. When I tried the examples in menu 
<Using PVS in Batch Mode>, I got following error message. (The version 
of PVS installed in my machine is 2.2)

% pvs -batch -f pvs-version
% Symbol's function definition is void: Setq

Could you please help me to deal with this problem?