فحص sqrt عبر محوّل double

الغرض والتجهيز

المضيف الأصلي فقط، لبات 0.7.0 على Linux x86-64 مع glibc. يحتاج libm.so.6 مع sqrt. لا أسطر إدخال أو وحدات مصدر أو ملفات بيانات. يفحص البرنامج sqrt(4.0) مقابل 2.0؛ لا خرج عند النجاح والحالة 0.

التثبيت الأصلي · دليل C · الواجهة الخارجية · مجموعة C.

المصدر العربي

المضيف الأصلي فقط. نزّل النسخة الموردة دون تغيير.

غير_آمن خارجي جذر(قيمة: ع64) -> ع64
    = سي_مزدوج__مزدوج("libm.so.6", "sqrt").

دالة ابدأ_الرئيسية() -> ص64 {
    دع النتيجة = غير_آمن جذر(4.0).
    إذا النتيجة تطابق 2.0 { أرجع 0. }
    أرجع 1.
}

{
  "browser": {
    "check": "policy-rejection",
    "class": "policy-rejection",
    "reason": "foreign-imports-not-supported",
    "output": ""
  },
  "native": {
    "check": 0,
    "status": 0,
    "output": ""
  }
}

المصدر الإنجليزي

المضيف الأصلي فقط. نزّل النسخة الموردة دون تغيير.

unsafe foreign root(value: f64) -> f64
    = c_double__double("libm.so.6", "sqrt");

fn start_main() -> i64 {
    let result_value = unsafe root(4.0);
    if result_value matches 2.0 { return 0; }
    return 1;
}

{
  "browser": {
    "check": "policy-rejection",
    "class": "policy-rejection",
    "reason": "foreign-imports-not-supported",
    "output": ""
  },
  "native": {
    "check": 0,
    "status": 0,
    "output": ""
  }
}

فحص النتيجة

تعرض بطاقات المصدر النتائج الدقيقة من الكتالوج والتنزيلات الأصلية والبصمات والمفردات الموردة. تشير نتيجة المثال غير الصفرية إلى فشل تحقق أو إخفاق مكتبة عالجه البرنامج.

aspl check ضعف.لبات
aspl run ضعف.لبات
aspl build -o double-program ضعف.لبات
./double-program