New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Patch for Asterinas coverage #1

Open

YanWQ-monad wants to merge 1 commit into asterinas:master from YanWQ-monad:aster

YanWQ-monad commented Feb 13, 2025

Patch added for collecting coverage data in Asterinas:

forces minicov to compile the "Linux" platform, because it originally detected and compiled the "Other" platform, which did not match that of the LLVM generated instrumentations.


          Patch for Asterinas coverage

bd5454a

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet