ما هي re-verify-logic؟
التحقق من المخططات المنطقية مقابل كود المصدر. تحقق من دقة رقم السطر، وبناء جملة حورية البحر، واكتمال العقدة، ووثائق الآثار الجانبية. يعمل كناقد مستقل في سياق الشوكة. يُستخدم عندما: التحقق من المنطق، والتحقق من المخطط المنطقي، والتحقق من صحة المرحلة 2، وإعادة التحقق من المنطق. المصدر: caldiaworks/caldiaworks-marketplace.