P4 Symbolic Test Input Generation Project to analyze P4 programs and automatically determine interesting inputs for that P4 program. This is a work in progress. This is not an officially supported Google product.