Description:

During recent experiments, it was suggested to extract the testing logic into a reusable harness with two abstractions:

• Driver: orchestrates experiments, flags, and runs.
• CodeGenerator: produces configurable test programs/snippets.

Benefits:

• Enables A/B testing of new Checker Framework features (e.g., scoped checking).
• Allows performance comparisons across JDKs.