3 ms·
>Will formal verification reverse the trend of old root bugs as a law of nature? >We applied the D6 patch immediately, Formal verification can do nothing to he
by hannob 9y ago
>Will formal verification reverse the trend of old root bugs as a law of nature?
>We applied the D6 patch immediately,
Formal verification can do nothing to help people who run software that's been outdated and unsupported for several years.
- jakeogh 9y agoIDK why you seem annoyed, Drupal is so far from formal verification it's obviously a different subject... this bug didn't care what D version you were on anyway. There are many advantages to staying behind the upgrade curve, especially on simple software. You can spend a bunch of time going from 6 to 7, or you can spend almost the same amount of time going from 6 to 8. It's not like there are major features the users need, most of the work goes into not breaking existing customization they expect.