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

[PVS-Help] PVS4.0-cmu: Problem loading patches



Hi,

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
initialized.

Will it be that PVS is not loading my patches?
Has anyone had problems of this kind?

Thanks in advance.
Best regards.

Mariano M. Moscato.