I guess they have to show this bug changes the result. But if you look at e.g. the case against Toyota where they had expert witnesses from Carnegie Melon and

I guess they have to show this bug changes the result. But if you look at e.g. the case against Toyota where they had expert witnesses from Carnegie Melon and NASA testifying that the code was a horrible mess, I think that was sufficient for a multi billion dollar fine. So I guess with the admission from the DNA company that their code is basically unreviewable, written in a language known for prototyping, if they get an expert witness to testify this it may be enough without showing how the software misbehaves exactly.