You are viewing a single comment's thread from:
RE: Formal verification is like marriage with a prenup vs marriage without
I agree with what you say.
If there is a wedding, it is one.
If there is no wedding, it is zero.
Life is that simple. There's no point in pushing.
@dana-edwards
For me above
If it's a wedding, it's one.
If there is no wedding, it is zero.
Of course, this part of the code depends on the writer :)))