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

Re: [creduce-bugs] creduce bug



Hi Pat,

Thanks for reporting the issue!

I think it was fixed in C-Reduce 2.7.0.

- Yang


On 07/06/2017 08:40 AM, Pat Haugen wrote:

Hit a bug with creduce, forwarding requested info.

-Pat

(See attached file: PASS_BUG_INFO.TXT)(See attached file: table_cache.ii)