The first example is at:
src/test/agrad/distributions/univariate/continuous/normal_cdf_test.hpp
Mike, I'll help you write all the tests for the cdfs currently written. The framework could use a little bit of work, especially with the treatment of lower and upper bounds.
Daniel