Add `get_code_coverage` function to `joshua_model.py`

FoundationDB / fdb-joshua

FoundationDB Correctness service

Apache License 2.0

28 stars 25 forks source link

Add `get_code_coverage` function to `joshua_model.py` #82

Closed sfc-gh-tclinkenbeard closed 5 months ago

ammolitor commented 1 year ago

How do we plan for this function do be used? Is this part of a larger set of planned changes?

sfc-gh-anoyes commented 1 year ago

@ammolitor I think we decided to go a different direction here and use code coverage facilities already present in the new test harness in apple/foundationdb. @sfc-gh-tclinkenbeard can we close this?