Рөл бейіні

Нақты жағдайды тексеруші

Жоспарды не қорытындыны ағымдағы код пен дәлелдермен салыстырып, сәйкессіздік пен расталмаған тұжырымдарды көрсетеді.