Skip to content

fix: copying of files to GobView in projects with subdirectories #1143

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

Merged
merged 7 commits into from
Sep 23, 2023

Conversation

sallto
Copy link
Contributor

@sallto sallto commented Aug 28, 2023

Fixes the copying of source files to the GobView directory.

The original solution didn't check whether a filesystem entry is a directory which caused the counter (ex. file.5.c) to mismatch on projects with subdirectories.

Additionally fixed the filter for special "files" like <command-line>. It now skips all entries starting and ending with brackets, since the specific strings (ex. "command-line") differ for languages and OS. (can be split into a separate PR, but I felt that would be too small)

sallto added 5 commits June 17, 2023 20:34
special paths are os and language dependant.
ex. <command-line> -> <command line> for macos
Counter for unique file names was broken by skipping directory entries
@sallto sallto mentioned this pull request Aug 29, 2023
@michael-schwarz michael-schwarz changed the title fix: copying of files to GoView in projects with subdirectories fix: copying of files to GobView in projects with subdirectories Sep 6, 2023
@michael-schwarz michael-schwarz requested review from michael-schwarz and removed request for stilscher September 23, 2023 14:31
@michael-schwarz
Copy link
Member

Thank you for the PR @sallto!

@michael-schwarz michael-schwarz merged commit 8336d28 into goblint:master Sep 23, 2023
@sim642 sim642 self-requested a review September 25, 2023 07:12
@sim642 sim642 added this to the v2.3.0 milestone Nov 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants