لغة إيكسو: دليل التثبيت والتنمية والاختبار

إيكسو هي لغة برمجة تدعم بايثون 3.9 وما فوق. التثبيت سهل باستخدام pip. يمكن تشغيل ملفات إيكسو مباشرةً باستخدام بايثون، ويتم إنشاء ملفات C/Header باستخدام الأمر exocc. يتطلب التطوير إعداد بيئة افتراضية وتثبيت التبعيات، بما في ذلك PySMT و CMake. تتطلب الاختبارات تثبيت z3-solver (أو أي مُحل آخر) و CMake 3.21 أو أحدث. تغطي الاختبارات سيناريوهات متنوعة وتدعم اختبارات تغطية الكود. تتوفر معلومات إضافية وأمثلة في مستودع المشروع.