🚨 ¡El analizador de registros Halmos está disponible! 🚨 Convierte automáticamente las pruebas de Halmos en reproducciones de Foundry. Funciona tanto para pruebas Halmos (pruebas de pelusa de fundición) como para pruebas invariantes (utilizando el marco Chimera) /herramientas/halmos ¡Simplemente pegue sus registros de Halmos y obtenga reproducciones!