🚀 go-pugleaf

The Pascal Validation Suite has a class of programs for handling some
errors, but it is a zero-th (0th) approximation.

I made a similar query a few months back about testing optimization
(how do you know what it does? -type of question).  The answer is
generally, we don't.  No such animals exist, but I did find an
interesting piece of testing software which I have to sign
non-disclosure to view.

I don't think a fixed suite of programs could test the things you want.
And I now know the head of 3090 compiler testing at IBM and they don't
have such a thing (yet).  All I can say, is that if you write or know
anybody writing such a thing, encourage them to put it in the public domain.

From the Rock of Ages Home for Retired Hackers:

--eugene miya, NASA Ames Research Center, eugene@ames-aurora.ARPA
  "You trust the `reply' command with all those different mailers out there?"
  "Send mail, avoid follow-ups.  If enough, I'll summarize."
  {uunet,hplabs,hao,ihnp4,decwrl,allegra,tektronix}!ames!aurora!eugene