Spec tests for p4 provider