A.39 library(prolog_coverage): Coverage analysis tool
All Application Manual Name SummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(prolog_coverage): Coverage analysis tool
          • Coverage collection and threads
          • Combining coverage data from multiple runs
          • Predicate reference
    • Packages

A.39.1 Coverage collection and threads

The coverage collect data structure is shared by threads created from the thread that is collecting coverage data. Currently, this thread should be joined before we can operate on the coverage data.