Die Recon-Erweiterung ist jetzt vollständig kompatibel mit Echidna, Medusa und Halmos. Der gleiche Code kann verwendet werden, um diese verschiedenen leistungsstarken Tools zur Überprüfung von Eigenschaften auszuführen. Die Erweiterung konvertiert automatisch alle gebrochenen Eigenschaften in Foundry, sodass das Debuggen einfacher ist. So nah an 300 Downloads!