A oes prawf cyflawniad cyfrifiadurol?