"Andrew Kelley argued that a test suite which had failed to catch previous Bun bugs could not by itself establish the correctness of a million lines of machine-reviewed code."
In his July 9 response, Zig creator Andrew Kelley challenges the sufficiency of the existing test suite as evidence for the safety of the Rust rewrite. His criticism identifies a central disagreement about how much confidence automated verification can justify in a very large generated migration.
View Source