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

Field and Manip strange log messages



Hi all:

I am using Field and Manip packages, without any problem. But I notice strange messages in my log that look like the
following:

Restoring theories from buvec.bin
Restored file buvec (buvec) in 0.13 seconds
Library /home/rwb/fm/pvs/lib/strats/field/extend/ does not exist
Library /home/rwb/fm/pvs/lib/strats/manip/pvs2.4/ does not exist
Library /home/rwb/fm/pvs/lib/strats/field/extend/ does not exist
Library /home/rwb/fm/pvs/lib/strats/manip/pvs2.4/ does not exist
Library /home/rwb/fm/pvs/lib/strats/field/extend/ does not exist
Library /home/rwb/fm/pvs/lib/strats/manip/pvs2.4/ does not exist
Restoring theories from product_real.bin (library /home/vu/packages/pvs-2.4/lib/reals/)
Restored file product_real (product_real) in 0.03 seconds

Seems like PVS is trying to look for something in Ricky Butler's directory? 

Does anyone have an explanation?

Thanks!

Vu Ha, PhD.
Honeywell Labs
3660 Technology Drive
Minneapolis, MN 55418