Worked on stabilizing the ESBMC repository by addressing a persistent test suite issue using Python and strong debugging skills. Focused on maintaining continuous integration health, the approach involved temporarily disabling a problematic test directory to prevent cascading failures and ensure uninterrupted development flow. This solution preserved code integrity and allowed pull requests to proceed without being blocked by flaky tests. Emphasis was placed on test hygiene and risk mitigation, laying the foundation for deeper root-cause analysis in future sprints. The work prioritized stability and reliability, enabling the broader team to continue development while long-term fixes for the underlying issue were prepared.