Add coverage metrics for policy extraction. Will be output to the results folder when verbose output is set to true in the jpf file.
Add coverage metrics for policy extraction. Will be output to the results folder when verbose output is set to true in the jpf file.

isstac/spf-wca,isstac/spf-wca