Hi Neal,
First thanks you and your team for providing such great tool, so far I can't see other open source tool can provide such features for TCP stack.
But I have a question after reading the paper about packetdrill "Packetdrill: Scriptable Network Stack Testing, from Sockets to Packets".
From the paper, I noticed that you talked about you have 266 scripts to test Google production kernel and 92 scripts to test packetdrill itself.
But from the public packetdrill download package, I can see only 50+ test scripts inside.
I'm curious about will you release other test scripts to public in the furter? Or actually you have published them to public but I miss?
regards,
Dennis