diff options
| author | Brian Campbell | 2020-10-20 21:47:33 +0100 |
|---|---|---|
| committer | Brian Campbell | 2020-10-20 21:47:33 +0100 |
| commit | fec8305037e566c2516bbe83cca570fadafce5fc (patch) | |
| tree | 55fcea3edd19f8a6ecdec12548abfc4078729991 /src/constant_propagation.mli | |
| parent | ff3cf053919099980441f523e8fe06b0657f6484 (diff) | |
sailcov: add alternative colouring using the file count for each span
Diffstat (limited to 'src/constant_propagation.mli')
0 files changed, 0 insertions, 0 deletions