Halmos envió pruebas invariantes, tuvimos que enviar una forma de convertir automáticamente los contraejemplos de Halmos a repositorios de foundry. ¡Esto funciona tanto para pruebas sin estado como con estado (con sabor a Chimera). Si usas Create Chimera App o la Recon Extension, ¡esto funciona directamente!