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

Re: PVS Batch Mode

To: Min Jing <jingm@mcsergjr.cas.mcmaster.ca>
Subject: Re: PVS Batch Mode
From: Dave Stringer-Calvert <dave_sc@csl.sri.com>
Date: Wed, 30 Sep 1998 14:25:28 -0700
cc: pvs@csl.sri.com
In-reply-to: Your message of "Wed, 30 Sep 1998 15:09:32 EDT." <9809301909.AA14446@mcsergjr.cas.mcmaster.ca>


Min -

You probably have an error in your .emacs or .pvsemacs file.
Try doing this:

pvs -batch -q -v 3 -f pvs-version

and you should see something like:

Started initializing ILISP
Finished initializing pvsallegro
Context changed to /tmp
PVS Version 2.2 (No patches loaded) - Allegro CL 4.3 [Linux/X86; R1] (9/17/98 17:37)


The flags behave as follows:

   -batch	non-interactive mode
   -q		inhibit loading of .emacs
   -v 3		very verbose mode
   -f foo	execute emacs function foo

Try looking for the string 'Setq' in your .emacs file...

Dave

---
Dr Dave Stringer-Calvert, Software Engineer, Computer Science Laboratory,
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA.
Phone: (650) 859-3291    Fax: (650) 859-2844   Email: dave_sc@csl.sri.com

References:
- PVS Batch Mode
  - From: Min Jing <jingm@mcsergjr.cas.mcmaster.ca>

Prev by Date: PVS Batch Mode
Next by Date: Spam on the PVS lists
Prev by thread: PVS Batch Mode
Next by thread: Spam on the PVS lists
Index(es):
- Date
- Thread