Hi Paul,
In commit 405f3f465f7f ("debugging,formal: Update for increased Linux kernel usage"),
there is an incomplete hunk of formal/formal.tex
@@ -135,6 +147,7 @@ The larger overarching software construct is of course validated by testing.
artifact from the viewpoint of formal verification, it is tiny
compared to a great number of projects, including LLVM,
\GCC, the Linux kernel, Hadoop, MongoDB, and a great many others.
+ In addition,
Although formal verification is finally starting to show some
promise, including more-recent L4 verifications involving greater
What was your intention here?
Thanks, Akira
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
