Ok, but their engine controller was found to have 12,000 global variables and no one could ever say conclusively that the pedal issue was real or not.
The issue was not that no one found the flaw, it’s that no one could prove it wasn’t there.
The issue was not that no one found the flaw, it’s that no one could prove it wasn’t there.
Are cars since then required to have formally verified codebases, or is "no one could prove [there are no bugs]" still true?
---
Trying to evaluate what happened based on observation of events alone and stats, in absence of a formal proof of issue or non-issue... the cars didn't just disappear overnight so if there was such an issue... where did it go?
Toyota issued multiple engine controller updates. All mfgs do, all the time.
There are no changelogs.
It would also matter what their typical car lifecycle is, it could have been just before refresh so only effected a couple years.
It could have also been bad floor mats.
We’ll never know - but the point is, that their code was so bad you COULD never know.
You and I would change a constant and recompile. They will just splat location 0x239A
You should ask a mechanic's opinion.