ipc icon indicating copy to clipboard operation
ipc copied to clipboard

Published 20 hours ago • verified publisher icon Flow-IPC

ipc_*: Formal test coverage analysis.

Open ygoldfeld opened this issue 1 year ago • 0 comments

Filed by @ygoldfeld pre-open-source:

We should formally analyze coverage of the source code. Consider doing so both before and after #83.

  • Before: So we know how to do it and have a good idea of how much we actually lack (the current text in #83 description is my subjective assessment).
  • After: So we know what might still be lacking; and possibly to set up automatic periodic coverage analysis (perhaps for each PR).

ygoldfeld avatar Mar 11 '24 22:03 ygoldfeld