There are a bunch of examples that the exec utility reports as having failed with the OUTPUT status even though when executed by hand they run successfully to completion and produce the expected output. I suspect there must be a bug in the utility.
$ make auto_ptr run; ./auto_ptr > auto_ptr.out && diff auto_ptr.out /build/sebor/stdcxx/examples/manual/out/auto_ptr.out; echo $?
make: `auto_ptr' is up to date. NAME STATUS ASSERTS FAILED PERCNT auto_ptr OUTPUT 0 Martin
