This ATS contributed library is for
facilitating construction of testing code.

WWW: http://www.ats-lang.org/