Skip to content
  • Cyril SIX's avatar
    Recording of prediction stats with COMPCERT_PROFILING_STATS environment flag · 47eaaa23
    Cyril SIX authored
    It only works correctly if both profiling and static prediction are
    used: it then compares both and gives stats in COMPCERT_PREDICT_STATS
    file.
    
    The stats are of the form:
      total correct mispredicts missed
    
    total = number of total CBs encountered
    correct = number of correct predictions
    mispredicts = times when static prediction did a wrong guess (predicted
        the opposite from profiling, or predicted Some _ when profiling said
        None)
    missed = times when static prediction was not able to give a verdict,
           though the profiling gave one
    47eaaa23