أصبح Recon Extension الآن متوافقا تماما مع Echidna و Medusa و Halmos. يمكن استخدام نفس الكود لتشغيل هذه الأدوات القوية المختلفة لكسر الخصائص. يقوم الامتداد تلقائيا بتحويل جميع الخصائص المعطلة إلى Foundry ، لذا فإن تصحيح الأخطاء أسهل. ما يقرب من 300 تنزيل!