search for: c23001a

...compiler should generate error messages for those, and you have to check by hand (!) that they are correct. Having done so once, you can automate the process by diff-ing the listings or whatever. The "C Tests" are supposed to be compiled and run, and they print something like: ==== C23001A PASSED ==================================== There are a few other categories of tests. Some tests have to be modified by hand (e.g. stick in the maximum integer value supported by your compiler). All this stuff is documented, but as far as I know, the ACATS web site does not contain any scripts...