Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
0c093eba
Commit
0c093eba
authored
Oct 08, 2020
by
Andre Maroneze
💬
Committed by
Virgile Prevosto
Oct 19, 2020
Browse files
[Filepath] omit initial '/' in to_base_uri
parent
6d52012b
Changes
2
Expand all
Hide whitespace changes
Inline
Side-by-side
src/libraries/utils/filepath.ml
View file @
0c093eba
...
...
@@ -282,7 +282,14 @@ module Normalized = struct
let
p
=
insert
cwd
name
in
let
buf
=
Buffer
.
create
80
in
let
res
=
add_uri_path
buf
p
in
res
,
Buffer
.
contents
buf
let
uri
=
Buffer
.
contents
buf
in
let
uri
=
try
String
.
sub
uri
1
(
String
.
length
uri
-
1
)
with
Invalid_argument
_
->
uri
in
res
,
uri
end
end
...
...
src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif.clean
View file @
0c093eba
This diff is collapsed.
Click to expand it.
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment