I should have explained it better. Good practice would be to add a regression test when making a bugfix patch, it's not as good as formal verification but it's

I should have explained it better. Good practice would be to add a regression test when making a bugfix patch, it's not as good as formal verification but it's better than nothing.