Recon 擴展現在已完全兼容 Echidna、Medusa 和 Halmos。 相同的代碼可以用來運行這些不同的強大工具來破壞屬性。 該擴展自動將所有破壞的屬性轉換為 Foundry,因此調試變得更容易。 距離 300 次下載只差一步!