This folder contains negative tests: which are supposed to generate compiler errors when compiled. All files should be named like *-bmv2.p4