search

nyu-systems / gauntlet

Finding bugs in P4 compilers using translation validation.
Apache License 2.0
35 stars 3 forks source link

Code coverage #48

Open fruffy opened 4 years ago

fruffy commented 4 years ago

Instrument a script that measures how much of a p4c pass we are actually covering with a P4 program. This gives useful information about lack of coverage in some places.

fruffy commented 4 years ago

This is a little tricky because gcov does not play nicely with cmake.