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

PVS Batch Mode

To: pvs@csl.sri.com
Subject: PVS Batch Mode
From: Min Jing <jingm@mcsergjr.cas.mcmaster.ca>
Date: Wed, 30 Sep 1998 15:09:32 -0400

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? 

Thanks,

Min

Follow-Ups:
- Re: PVS Batch Mode
  - From: Dave Stringer-Calvert <dave_sc@csl.sri.com>

Prev by Date: Re: Using PVS to help teach logic (fwd)
Next by Date: Re: PVS Batch Mode
Prev by thread: Re: Using PVS to help teach logic (fwd)
Next by thread: Re: PVS Batch Mode
Index(es):
- Date
- Thread