Closed jubnzv closed 2 years ago
We should explicitly set the output directory for the make coverage target. Otherwise, the report will be saved in the _build/coverage directory which will be removed when calling dune clean.
make coverage
_build/coverage
dune clean
Here is a part of the Makefile that removes the created report: https://github.com/Zilliqa/scilla/blob/e9ee5c84a68f4cccdc91432dd140e50c6f33d672/Makefile#L181-L182
Makefile
We should explicitly set the output directory for the
make coveragetarget. Otherwise, the report will be saved in the_build/coveragedirectory which will be removed when callingdune clean.Here is a part of the
Makefilethat removes the created report: https://github.com/Zilliqa/scilla/blob/e9ee5c84a68f4cccdc91432dd140e50c6f33d672/Makefile#L181-L182