The incorrect program state (the value of 'c') must propagate to the program's output and be checked by the test.
دوال البرنامج الغير صحيح (قيمة ‘c') يجب نشرها إلى البرنامج ويتم فحصها من قبل الاختبار.