alt Hacker NewsWhy can’t you JIT- generate the code and then run the verification?
Replies
mihaelm • today at 1:16 PM
Where did I say you can't do that? I answered you why I assumed the original comment was leaning towards JIT for everything.
➕ show 1 reply
Why can’t you JIT- generate the code and then run the verification?
Where did I say you can't do that? I answered you why I assumed the original comment was leaning towards JIT for everything.
Because after proper verification you very much aren't at JIT territory. Take the network stack. From my memories a proper commercial test suit from say Defensics is from a few thousand to tens of thousand cases. For each of Ethernet, IP, TCP and UDP. Any decent coverage however fast will take some time. Most likely lot more than you want with just in time...