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

Re: [PVS-Help] PVS bugs 968, 948, and 978

Sam Owre <owre@csl.sri.com> wrote:
> I added the code to the bug reports for 968 and 978, and I'm including it
> below.  Let me know how it works for you.

Thanks, Sam.  Those bugs were ... well, bugging me. :-)  I'll let you
know if I encounter any further problems.

Jerry James, Assistant Professor        Jerry.James@usu.edu
Computer Science Department             http://www.cs.usu.edu/~jerry/
Utah State University