Lists all available standard checker programs from assets/checkers directory. Displays checker names and descriptions extracted from file comments. Helps users choose appropriate checkers for their Config.json.
If checkers directory doesn't exist
If reading checker files fails
// From CLI: polyman list checkerslistAvailableCheckersAction();// Displays:// 1. acmp.cpp → Almost-correct mode checker// 2. fcmp.cpp → Floating-point comparison// 3. ncmp.cpp → Number comparison// ... etc Copy
// From CLI: polyman list checkerslistAvailableCheckersAction();// Displays:// 1. acmp.cpp → Almost-correct mode checker// 2. fcmp.cpp → Floating-point comparison// 3. ncmp.cpp → Number comparison// ... etc
Lists all available standard checker programs from assets/checkers directory. Displays checker names and descriptions extracted from file comments. Helps users choose appropriate checkers for their Config.json.