يسلط الضوء على إصدار Halmos v0.3.0! (تذكير سريع: Halmos هي أداة اختبار رمزية للرمز الثانوي EVM الذي يتفاعل بشكل جيد مع مشاريع المسبك ويدعم العديد من حلول SMT) 1. أضفنا (أخيرا) دعما لاختبار ثابت الحالة

2. تقارير التغطية (فقط قم بتشغيلها باستخدام --coverage) ، ثم قم إما بإنشاء النتيجة أو تصورها في VSCode

3. Flamegraphs غريب نوعا ما ، ولكنه طريقة مثيرة للاهتمام لتصور حملة اختبار ثابتة. فقط اركض مع --flamegraph

5. دعم أفضل للحل قبل: --solver-command "yices-smt2 --smt2-model-format" بعد: - حل yices قبل: --solver-command "bitwuzla --production-models --abstraction" بعد: - حل Bitwuzla-ABS

6. انتهت الصداقة مع Z3 ، Yices هو الحل الافتراضي الآن (لذلك لا تحتاج حتى إلى قول "--solver yices" للاستمتاع بالفوائد)

7. دعم Solx إذا كنت لا تعرف ما هو Solx ، @PatrickAlphaC قمت بتغطيتها

8. تمت إضافة رموز الغش Env * والعشوائية * ، كل 3 ملايين منها. شكرا @Jayakumar2812 على المساهمة!

9. مؤشرات التقدم الرائعة من المستقبل

هذا هو! احصل عليه الآن: تثبيت أداة الأشعة فوق البنفسجية - Python 3.13 Halmos