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

Re: A doubt regarding use of records and functions.


It should be possible to develop your specification using either
records or arrays.  To find out what's going wrong, you'll need to
provide more details: send a dump file (created by M-x dump) of a small
example that works using records but not using arrays.

I suggest you send followup messages to pvs-help@csl.sri.com, rather
than the entire PVS list.