• andy@galois.com's avatar
    Improving the combine mode for hpc · 1267b64b
    andy@galois.com authored
    we now have
    Processing Coverage files:
      sum         Sum multiple .tix files in a single .tix file
      combine     Combine two .tix files in a single .tix file
      map         Map a function over a single .tix file
    
    Where sum joins many .tix files, combine joins two files (with
    extra functionality possible), and map just applied a function
    to single .tix file.
    
    These changes were improvements driven by hpc use cases.
    
    END OF DESCRIPTION***
    
    Place the long patch description above the ***END OF DESCRIPTION*** marker.
    The first line of this file will be the patch name.
    
    
    This patch contains the following changes:
    
    M ./utils/hpc/Hpc.hs -1 +3
    M ./utils/hpc/HpcCombine.hs -33 +84
    M ./utils/hpc/HpcFlags.hs -11 +59
    1267b64b
HpcFlags.hs 7.54 KB