Worked on the Kontrol Framework within the runtimeverification/kontrol repository, delivering a reliability and compatibility update focused on the expectRevert feature. The update aligned expectRevert behavior with Foundry, addressed issues with its application to cheatcode calls, and stabilized test outputs to reduce flakiness. Using the K framework and smart contract development skills, the work involved reverting prior changes that introduced instability, updating test files for Foundry integration, and maintaining compatibility with legacy tests. This approach improved test harness determinism and defect observability, ensuring more reliable and predictable testing workflows while supporting both new and existing test cases in K.