A framework for automated testing of network analysis and verification tools. - View it on GitHub