Comment 3 for bug 1731975

Revision history for this message
Paul F. Dietz (paul-f-dietz) wrote :

There are some other randomized tests in ansi-tests/random that would catch this. In particular, RANDOM-TYPE-PROP.TRUNCATE.3 catches it after a few thousand iterations. I should run these all again and report failures; they're fast.