Skip to content
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.

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

clean_folder for .mem files #341

Closed
bluesmoon opened this issue Oct 18, 2023 · 6 comments
Closed

clean_folder for .mem files #341

bluesmoon opened this issue Oct 18, 2023 · 6 comments

Comments

@bluesmoon
Copy link

Can we get an equivalent of clean_folder and clean_file for .mem files as well?

@vtjnash
Copy link
Member

vtjnash commented Oct 18, 2023

PRs welcome. Note that you can also use --code-coverage=tracefile-%p.info to prevent the files from being created.

@bluesmoon
Copy link
Author

I want the files to be created since I need to analyze them later. I just want to clean pre-existing files before I start. I think it needs to go into CoverageTools though.

@vtjnash
Copy link
Member

vtjnash commented Oct 18, 2023

It still generates the information for analysis, it just puts it in a local file instead of scattered everywhere

@bluesmoon
Copy link
Author

thanks. I'll look into it then. In the meanwhile, I opened this: JuliaCI/CoverageTools.jl#72

@bluesmoon
Copy link
Author

Hi, can I get some help on JuliaCI/CoverageTools.jl#72 please? I don't know what I need to do here.

@fingolfin
Copy link
Member

Since JuliaCI/CoverageTools.jl#72 was merged and released I assume we can close this issue now, @bluesmoon ?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants