[Checkers] new name for the Custom checker

Matt Papi mpapi at csail.mit.edu
Tue Apr 8 12:16:25 EDT 2008

Mike and I recently discussed that "Custom checker" isn't a very good
name, since the checker is by definition uncustomized. Can anyone
think of a better name? So far, other possibilities include Simple
checker, User checker, and Basic checker.

- Matt

More information about the checkers mailing list