What the commenter just described is tautology testing: whatever result of the computation I get is what I expected.
What the commenter just described is tautology testing: whatever result of the computation I get is what I expected.