6 ms·
I'm still interested in somehow creating such a test suite, Pascal -- one that is designed to test corner cases in the standard rather than testing corner cases
by regehr 12y ago
I'm still interested in somehow creating such a test suite, Pascal -- one that is designed to test corner cases in the standard rather than testing corner cases in the optimizer. It would somehow be derived from various formalizations of the standard such as yours, Xavier's, Chucky's.
- pascal_cuoq 12y ago1- secure all the SSL. 2- ??? 3- get around to making a conformity assessment test suite for C.
- regehr 12y ago4. PROFIT