John Regehr <[email protected]> writes:

> Pascal Cuoq reports this one:
> https://pastebin.com/D7aaZv5r

Is pastebin durable?  (I don't know.)  If not, we should copy the test case
someehere.

-- 
-------------------------------------------------------------------------------
Eric Eide <[email protected]>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX

Reply via email to