It seems tautology tests are very similar to (if not the same as ) characterization test, which help “frame/bracket” the implementation during maintenance. So, I wouldn’t say they are bad. I’d say they should not be misused (as you mention to create a false sense of correctness). Further, one should try to automatically generate such tests instead of writing them manually.