[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS-Help] PVS4.0-cmu: Problem loading patches
I'm trying to migrate my work on PVS3.2 to PVS4.0-cmu.
I have some patches that include in the file ~/.pvs.lisp. When I run
PVS, it seems to ignore that patches.
For testing purposes I only kept this line in ~/.pvs.lisp:
(setq dummy-var "hello")
When I run PVS4.0-allegro, I can (for example) print the value of this
variable ("dummy-var"). But when I run PVS4.0-cmu, the variable isn't
Will it be that PVS is not loading my patches?
Has anyone had problems of this kind?
Thanks in advance.
Mariano M. Moscato.