Skip to content
Snippets Groups Projects
Commit 9216f769 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[analysis-scripts] avoid SyntaxWarning due to backlashes

parent 9ae527c4
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
share/analysis-scripts/summary.py
+ 4
− 4
View file @ 9216f769
...@@ -122,10 +122,10 @@ def terminate_process(process): ...@@ -122,10 +122,10 @@ def terminate_process(process):
def smart_rename(target): def smart_rename(target):
target = re.sub("^\./", "", target) target = re.sub(r"^\./", "", target)
target = re.sub("main\.eva$", "", target) target = re.sub(r"main\.eva$", "", target)
target = re.sub("\.eva$", "", target) target = re.sub(r"\.eva$", "", target)
target = re.sub("\.frama-c/", "", target) target = re.sub(r"\.frama-c/", "", target)
return target return target
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment