polywit (pypi): A poly-language execution-based violation-witness validator.
Keywords: python|software-verification|validator|violation-witness|witness-validation