3 ms·

Because it doesn’t? Thats why the field of formal methods exists.

• raw_anon_1111 6mo ago
  Then that sounds like you aren’t writing good tests…