Skip to content

Commit

Permalink
Rust: Accept differences
Browse files Browse the repository at this point in the history
  • Loading branch information
paldepind committed Dec 12, 2024
1 parent 0fa40fc commit 1d8e7fd
Showing 1 changed file with 3 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,8 @@ edges
| main.rs:34:21:34:21 | a | main.rs:34:13:34:22 | f(...) | provenance | |
| main.rs:42:16:42:25 | source(...) | main.rs:44:5:44:5 | [post] f [captured capt] | provenance | |
| main.rs:44:5:44:5 | [post] f [captured capt] | main.rs:45:10:45:13 | capt | provenance | |
| main.rs:44:5:44:5 | [post] f [captured capt] | main.rs:47:14:47:17 | capt | provenance | |
| main.rs:44:5:44:5 | [post] f [captured capt] | main.rs:49:5:49:5 | g [captured capt] | provenance | |
| main.rs:49:5:49:5 | g [captured capt] | main.rs:47:14:47:17 | capt | provenance | |
nodes
| main.rs:11:20:11:52 | if cond {...} else {...} | semmle.label | if cond {...} else {...} |
| main.rs:11:30:11:39 | source(...) | semmle.label | source(...) |
Expand All @@ -31,6 +32,7 @@ nodes
| main.rs:44:5:44:5 | [post] f [captured capt] | semmle.label | [post] f [captured capt] |
| main.rs:45:10:45:13 | capt | semmle.label | capt |
| main.rs:47:14:47:17 | capt | semmle.label | capt |
| main.rs:49:5:49:5 | g [captured capt] | semmle.label | g [captured capt] |
subpaths
| main.rs:34:21:34:21 | a | main.rs:27:20:27:23 | ... | main.rs:28:9:32:9 | if cond {...} else {...} | main.rs:34:13:34:22 | f(...) |
testFailures
Expand Down

0 comments on commit 1d8e7fd

Please sign in to comment.