[Checkers] new name for the Custom checker
mernst at csail.mit.edu
Wed Apr 9 04:12:46 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.
Another possibility (with its own disadvantages, like the others) is
Command Line Checker.
More information about the checkers