[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS-Help] Running PVS in the raw mode...
I am having a problem of running PVS in raw mode...
I wanted to use PVS in texmacs and when I run pvs -raw as a system
texmacs, I get the following operations in the shell:
;; Optimization settings: safety 1, space 1, speed 3, debug 1.
;; For a complete description of all compiler switches given the
;; current optimization settings evaluate (explain-compiler-settings).
;; Current reader case mode: :case-sensitive-lower
Really exit lisp [n]?
and then it exists...and yes, it doesn't take 'n' as an input as it
already has an EOF after pvs(1). Please suggest a way to use pvs in