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

Re: [creduce-dev] reduction using dynamic information

On 2016-08-01 21:18, John Regehr wrote:
Ok-- thanks again for doing this Yang.

I wrote the code to take advantage of this transformation (in a little
standalone tool since it doesn't slot neatly into C-Reduce's
framework) and it found 2 nice simplifications to do on an already
fully-reduced test case that I'm working on.

Nice! Thanks for the update.

- Yang