Performs complete problem verification workflow.
Executes all steps: test generation, validator testing, test validation,
checker testing, solution execution, and solution verification.
This is the main command for validating a complete Polygon problem package.
Verification steps:
Generate all tests using generators
Run validator self-tests
Validate all generated tests
Run checker self-tests
Execute all solutions on all tests
Verify each solution behaves according to its type (TLE, WA, etc.)
Returns Promise<void>
Resolves when full verification completes
Throws
If Config.json is invalid
Throws
If any verification step fails
Throws
If generators, validator, checker, or solutions are missing
Throws
If main-correct solution doesn't exist
Throws
If any solution behaves unexpectedly
Example
// From CLI: polyman verify awaitfullVerificationAction(); // Runs complete verification workflow: // - Generates tests // - Validates tests // - Tests checker // - Runs all solutions // - Verifies all solutions against main-correct
Performs complete problem verification workflow. Executes all steps: test generation, validator testing, test validation, checker testing, solution execution, and solution verification. This is the main command for validating a complete Polygon problem package.
Verification steps: