Skip to content

Commit 5b65703

Browse files
paldepindpaldepind
committed
Rust: Add test for models of pointer read and write
1 parent 3c7fe26 commit 5b65703

File tree

2 files changed

+131
-118
lines changed

2 files changed

+131
-118
lines changed

‎rust/ql/test/library-tests/dataflow/modeled/inline-flow.expected‎

Lines changed: 110 additions & 110 deletions
Original file line numberDiff line numberDiff line change
@@ -5,117 +5,117 @@ models
55
| 4 | Summary: lang:core; <crate::result::Result as crate::clone::Clone>::clone; Argument[self].Field[crate::result::Result::Ok(0)]; ReturnValue.Field[crate::result::Result::Ok(0)]; value |
66
| 5 | Summary: lang:core; <crate::result::Result>::unwrap; Argument[self].Field[crate::result::Result::Ok(0)]; ReturnValue; value |
77
edges
8-
| main.rs:13:9:13:9 | a [Some] | main.rs:14:10:14:10 | a [Some] | provenance | |
9-
| main.rs:13:9:13:9 | a [Some] | main.rs:15:13:15:13 | a [Some] | provenance | |
10-
| main.rs:13:13:13:28 | Some(...) [Some] | main.rs:13:9:13:9 | a [Some] | provenance | |
11-
| main.rs:13:18:13:27 | source(...) | main.rs:13:13:13:28 | Some(...) [Some] | provenance | |
12-
| main.rs:14:10:14:10 | a [Some] | main.rs:14:10:14:19 | a.unwrap(...) | provenance | MaD:2 |
13-
| main.rs:15:9:15:9 | b [Some] | main.rs:16:10:16:10 | b [Some] | provenance | |
14-
| main.rs:15:13:15:13 | a [Some] | main.rs:15:13:15:21 | a.clone(...) [Some] | provenance | MaD:1 |
15-
| main.rs:15:13:15:13 | a [Some] | main.rs:15:13:15:21 | a.clone(...) [Some] | provenance | generated |
16-
| main.rs:15:13:15:21 | a.clone(...) [Some] | main.rs:15:9:15:9 | b [Some] | provenance | |
17-
| main.rs:16:10:16:10 | b [Some] | main.rs:16:10:16:19 | b.unwrap(...) | provenance | MaD:2 |
18-
| main.rs:20:9:20:9 | a [Ok] | main.rs:21:10:21:10 | a [Ok] | provenance | |
19-
| main.rs:20:9:20:9 | a [Ok] | main.rs:22:13:22:13 | a [Ok] | provenance | |
20-
| main.rs:20:31:20:44 | Ok(...) [Ok] | main.rs:20:9:20:9 | a [Ok] | provenance | |
21-
| main.rs:20:34:20:43 | source(...) | main.rs:20:31:20:44 | Ok(...) [Ok] | provenance | |
22-
| main.rs:21:10:21:10 | a [Ok] | main.rs:21:10:21:19 | a.unwrap(...) | provenance | MaD:5 |
23-
| main.rs:22:9:22:9 | b [Ok] | main.rs:23:10:23:10 | b [Ok] | provenance | |
24-
| main.rs:22:13:22:13 | a [Ok] | main.rs:22:13:22:21 | a.clone(...) [Ok] | provenance | MaD:4 |
25-
| main.rs:22:13:22:13 | a [Ok] | main.rs:22:13:22:21 | a.clone(...) [Ok] | provenance | generated |
26-
| main.rs:22:13:22:21 | a.clone(...) [Ok] | main.rs:22:9:22:9 | b [Ok] | provenance | |
27-
| main.rs:23:10:23:10 | b [Ok] | main.rs:23:10:23:19 | b.unwrap(...) | provenance | MaD:5 |
28-
| main.rs:27:9:27:9 | a | main.rs:28:10:28:10 | a | provenance | |
29-
| main.rs:27:9:27:9 | a | main.rs:29:13:29:13 | a | provenance | |
30-
| main.rs:27:13:27:22 | source(...) | main.rs:27:9:27:9 | a | provenance | |
31-
| main.rs:29:9:29:9 | b | main.rs:30:10:30:10 | b | provenance | |
32-
| main.rs:29:13:29:13 | a | main.rs:29:13:29:21 | a.clone(...) | provenance | generated |
33-
| main.rs:29:13:29:21 | a.clone(...) | main.rs:29:9:29:9 | b | provenance | |
34-
| main.rs:42:13:42:13 | w [Wrapper] | main.rs:43:15:43:15 | w [Wrapper] | provenance | |
35-
| main.rs:42:17:42:41 | Wrapper {...} [Wrapper] | main.rs:42:13:42:13 | w [Wrapper] | provenance | |
36-
| main.rs:42:30:42:39 | source(...) | main.rs:42:17:42:41 | Wrapper {...} [Wrapper] | provenance | |
37-
| main.rs:43:15:43:15 | w [Wrapper] | main.rs:44:13:44:28 | Wrapper {...} [Wrapper] | provenance | |
38-
| main.rs:43:15:43:15 | w [Wrapper] | main.rs:46:17:46:17 | w [Wrapper] | provenance | |
39-
| main.rs:44:13:44:28 | Wrapper {...} [Wrapper] | main.rs:44:26:44:26 | n | provenance | |
40-
| main.rs:44:26:44:26 | n | main.rs:44:38:44:38 | n | provenance | |
41-
| main.rs:46:13:46:13 | u [Wrapper] | main.rs:47:15:47:15 | u [Wrapper] | provenance | |
42-
| main.rs:46:17:46:17 | w [Wrapper] | main.rs:46:17:46:25 | w.clone(...) [Wrapper] | provenance | generated |
43-
| main.rs:46:17:46:25 | w.clone(...) [Wrapper] | main.rs:46:13:46:13 | u [Wrapper] | provenance | |
44-
| main.rs:47:15:47:15 | u [Wrapper] | main.rs:48:13:48:28 | Wrapper {...} [Wrapper] | provenance | |
45-
| main.rs:48:13:48:28 | Wrapper {...} [Wrapper] | main.rs:48:26:48:26 | n | provenance | |
46-
| main.rs:48:26:48:26 | n | main.rs:48:38:48:38 | n | provenance | |
47-
| main.rs:59:13:59:13 | b [Some] | main.rs:60:23:60:23 | b [Some] | provenance | |
48-
| main.rs:59:17:59:32 | Some(...) [Some] | main.rs:59:13:59:13 | b [Some] | provenance | |
49-
| main.rs:59:22:59:31 | source(...) | main.rs:59:17:59:32 | Some(...) [Some] | provenance | |
50-
| main.rs:60:13:60:13 | z [Some, tuple.1] | main.rs:61:15:61:15 | z [Some, tuple.1] | provenance | |
51-
| main.rs:60:17:60:24 | a.zip(...) [Some, tuple.1] | main.rs:60:13:60:13 | z [Some, tuple.1] | provenance | |
52-
| main.rs:60:23:60:23 | b [Some] | main.rs:60:17:60:24 | a.zip(...) [Some, tuple.1] | provenance | MaD:3 |
53-
| main.rs:61:15:61:15 | z [Some, tuple.1] | main.rs:62:13:62:24 | Some(...) [Some, tuple.1] | provenance | |
54-
| main.rs:62:13:62:24 | Some(...) [Some, tuple.1] | main.rs:62:18:62:23 | TuplePat [tuple.1] | provenance | |
55-
| main.rs:62:18:62:23 | TuplePat [tuple.1] | main.rs:62:22:62:22 | m | provenance | |
56-
| main.rs:62:22:62:22 | m | main.rs:64:22:64:22 | m | provenance | |
8+
| main.rs:12:9:12:9 | a [Some] | main.rs:13:10:13:10 | a [Some] | provenance | |
9+
| main.rs:12:9:12:9 | a [Some] | main.rs:14:13:14:13 | a [Some] | provenance | |
10+
| main.rs:12:13:12:28 | Some(...) [Some] | main.rs:12:9:12:9 | a [Some] | provenance | |
11+
| main.rs:12:18:12:27 | source(...) | main.rs:12:13:12:28 | Some(...) [Some] | provenance | |
12+
| main.rs:13:10:13:10 | a [Some] | main.rs:13:10:13:19 | a.unwrap(...) | provenance | MaD:2 |
13+
| main.rs:14:9:14:9 | b [Some] | main.rs:15:10:15:10 | b [Some] | provenance | |
14+
| main.rs:14:13:14:13 | a [Some] | main.rs:14:13:14:21 | a.clone(...) [Some] | provenance | MaD:1 |
15+
| main.rs:14:13:14:13 | a [Some] | main.rs:14:13:14:21 | a.clone(...) [Some] | provenance | generated |
16+
| main.rs:14:13:14:21 | a.clone(...) [Some] | main.rs:14:9:14:9 | b [Some] | provenance | |
17+
| main.rs:15:10:15:10 | b [Some] | main.rs:15:10:15:19 | b.unwrap(...) | provenance | MaD:2 |
18+
| main.rs:19:9:19:9 | a [Ok] | main.rs:20:10:20:10 | a [Ok] | provenance | |
19+
| main.rs:19:9:19:9 | a [Ok] | main.rs:21:13:21:13 | a [Ok] | provenance | |
20+
| main.rs:19:31:19:44 | Ok(...) [Ok] | main.rs:19:9:19:9 | a [Ok] | provenance | |
21+
| main.rs:19:34:19:43 | source(...) | main.rs:19:31:19:44 | Ok(...) [Ok] | provenance | |
22+
| main.rs:20:10:20:10 | a [Ok] | main.rs:20:10:20:19 | a.unwrap(...) | provenance | MaD:5 |
23+
| main.rs:21:9:21:9 | b [Ok] | main.rs:22:10:22:10 | b [Ok] | provenance | |
24+
| main.rs:21:13:21:13 | a [Ok] | main.rs:21:13:21:21 | a.clone(...) [Ok] | provenance | MaD:4 |
25+
| main.rs:21:13:21:13 | a [Ok] | main.rs:21:13:21:21 | a.clone(...) [Ok] | provenance | generated |
26+
| main.rs:21:13:21:21 | a.clone(...) [Ok] | main.rs:21:9:21:9 | b [Ok] | provenance | |
27+
| main.rs:22:10:22:10 | b [Ok] | main.rs:22:10:22:19 | b.unwrap(...) | provenance | MaD:5 |
28+
| main.rs:26:9:26:9 | a | main.rs:27:10:27:10 | a | provenance | |
29+
| main.rs:26:9:26:9 | a | main.rs:28:13:28:13 | a | provenance | |
30+
| main.rs:26:13:26:22 | source(...) | main.rs:26:9:26:9 | a | provenance | |
31+
| main.rs:28:9:28:9 | b | main.rs:29:10:29:10 | b | provenance | |
32+
| main.rs:28:13:28:13 | a | main.rs:28:13:28:21 | a.clone(...) | provenance | generated |
33+
| main.rs:28:13:28:21 | a.clone(...) | main.rs:28:9:28:9 | b | provenance | |
34+
| main.rs:41:13:41:13 | w [Wrapper] | main.rs:42:15:42:15 | w [Wrapper] | provenance | |
35+
| main.rs:41:17:41:41 | Wrapper {...} [Wrapper] | main.rs:41:13:41:13 | w [Wrapper] | provenance | |
36+
| main.rs:41:30:41:39 | source(...) | main.rs:41:17:41:41 | Wrapper {...} [Wrapper] | provenance | |
37+
| main.rs:42:15:42:15 | w [Wrapper] | main.rs:43:13:43:28 | Wrapper {...} [Wrapper] | provenance | |
38+
| main.rs:42:15:42:15 | w [Wrapper] | main.rs:45:17:45:17 | w [Wrapper] | provenance | |
39+
| main.rs:43:13:43:28 | Wrapper {...} [Wrapper] | main.rs:43:26:43:26 | n | provenance | |
40+
| main.rs:43:26:43:26 | n | main.rs:43:38:43:38 | n | provenance | |
41+
| main.rs:45:13:45:13 | u [Wrapper] | main.rs:46:15:46:15 | u [Wrapper] | provenance | |
42+
| main.rs:45:17:45:17 | w [Wrapper] | main.rs:45:17:45:25 | w.clone(...) [Wrapper] | provenance | generated |
43+
| main.rs:45:17:45:25 | w.clone(...) [Wrapper] | main.rs:45:13:45:13 | u [Wrapper] | provenance | |
44+
| main.rs:46:15:46:15 | u [Wrapper] | main.rs:47:13:47:28 | Wrapper {...} [Wrapper] | provenance | |
45+
| main.rs:47:13:47:28 | Wrapper {...} [Wrapper] | main.rs:47:26:47:26 | n | provenance | |
46+
| main.rs:47:26:47:26 | n | main.rs:47:38:47:38 | n | provenance | |
47+
| main.rs:58:13:58:13 | b [Some] | main.rs:59:23:59:23 | b [Some] | provenance | |
48+
| main.rs:58:17:58:32 | Some(...) [Some] | main.rs:58:13:58:13 | b [Some] | provenance | |
49+
| main.rs:58:22:58:31 | source(...) | main.rs:58:17:58:32 | Some(...) [Some] | provenance | |
50+
| main.rs:59:13:59:13 | z [Some, tuple.1] | main.rs:60:15:60:15 | z [Some, tuple.1] | provenance | |
51+
| main.rs:59:17:59:24 | a.zip(...) [Some, tuple.1] | main.rs:59:13:59:13 | z [Some, tuple.1] | provenance | |
52+
| main.rs:59:23:59:23 | b [Some] | main.rs:59:17:59:24 | a.zip(...) [Some, tuple.1] | provenance | MaD:3 |
53+
| main.rs:60:15:60:15 | z [Some, tuple.1] | main.rs:61:13:61:24 | Some(...) [Some, tuple.1] | provenance | |
54+
| main.rs:61:13:61:24 | Some(...) [Some, tuple.1] | main.rs:61:18:61:23 | TuplePat [tuple.1] | provenance | |
55+
| main.rs:61:18:61:23 | TuplePat [tuple.1] | main.rs:61:22:61:22 | m | provenance | |
56+
| main.rs:61:22:61:22 | m | main.rs:63:22:63:22 | m | provenance | |
5757
nodes
58-
| main.rs:13:9:13:9 | a [Some] | semmle.label | a [Some] |
59-
| main.rs:13:13:13:28 | Some(...) [Some] | semmle.label | Some(...) [Some] |
60-
| main.rs:13:18:13:27 | source(...) | semmle.label | source(...) |
61-
| main.rs:14:10:14:10 | a [Some] | semmle.label | a [Some] |
62-
| main.rs:14:10:14:19 | a.unwrap(...) | semmle.label | a.unwrap(...) |
63-
| main.rs:15:9:15:9 | b [Some] | semmle.label | b [Some] |
64-
| main.rs:15:13:15:13 | a [Some] | semmle.label | a [Some] |
65-
| main.rs:15:13:15:21 | a.clone(...) [Some] | semmle.label | a.clone(...) [Some] |
66-
| main.rs:16:10:16:10 | b [Some] | semmle.label | b [Some] |
67-
| main.rs:16:10:16:19 | b.unwrap(...) | semmle.label | b.unwrap(...) |
68-
| main.rs:20:9:20:9 | a [Ok] | semmle.label | a [Ok] |
69-
| main.rs:20:31:20:44 | Ok(...) [Ok] | semmle.label | Ok(...) [Ok] |
70-
| main.rs:20:34:20:43 | source(...) | semmle.label | source(...) |
71-
| main.rs:21:10:21:10 | a [Ok] | semmle.label | a [Ok] |
72-
| main.rs:21:10:21:19 | a.unwrap(...) | semmle.label | a.unwrap(...) |
73-
| main.rs:22:9:22:9 | b [Ok] | semmle.label | b [Ok] |
74-
| main.rs:22:13:22:13 | a [Ok] | semmle.label | a [Ok] |
75-
| main.rs:22:13:22:21 | a.clone(...) [Ok] | semmle.label | a.clone(...) [Ok] |
76-
| main.rs:23:10:23:10 | b [Ok] | semmle.label | b [Ok] |
77-
| main.rs:23:10:23:19 | b.unwrap(...) | semmle.label | b.unwrap(...) |
78-
| main.rs:27:9:27:9 | a | semmle.label | a |
79-
| main.rs:27:13:27:22 | source(...) | semmle.label | source(...) |
80-
| main.rs:28:10:28:10 | a | semmle.label | a |
81-
| main.rs:29:9:29:9 | b | semmle.label | b |
82-
| main.rs:29:13:29:13 | a | semmle.label | a |
83-
| main.rs:29:13:29:21 | a.clone(...) | semmle.label | a.clone(...) |
84-
| main.rs:30:10:30:10 | b | semmle.label | b |
85-
| main.rs:42:13:42:13 | w [Wrapper] | semmle.label | w [Wrapper] |
86-
| main.rs:42:17:42:41 | Wrapper {...} [Wrapper] | semmle.label | Wrapper {...} [Wrapper] |
87-
| main.rs:42:30:42:39 | source(...) | semmle.label | source(...) |
88-
| main.rs:43:15:43:15 | w [Wrapper] | semmle.label | w [Wrapper] |
89-
| main.rs:44:13:44:28 | Wrapper {...} [Wrapper] | semmle.label | Wrapper {...} [Wrapper] |
90-
| main.rs:44:26:44:26 | n | semmle.label | n |
91-
| main.rs:44:38:44:38 | n | semmle.label | n |
92-
| main.rs:46:13:46:13 | u [Wrapper] | semmle.label | u [Wrapper] |
93-
| main.rs:46:17:46:17 | w [Wrapper] | semmle.label | w [Wrapper] |
94-
| main.rs:46:17:46:25 | w.clone(...) [Wrapper] | semmle.label | w.clone(...) [Wrapper] |
95-
| main.rs:47:15:47:15 | u [Wrapper] | semmle.label | u [Wrapper] |
96-
| main.rs:48:13:48:28 | Wrapper {...} [Wrapper] | semmle.label | Wrapper {...} [Wrapper] |
97-
| main.rs:48:26:48:26 | n | semmle.label | n |
98-
| main.rs:48:38:48:38 | n | semmle.label | n |
99-
| main.rs:59:13:59:13 | b [Some] | semmle.label | b [Some] |
100-
| main.rs:59:17:59:32 | Some(...) [Some] | semmle.label | Some(...) [Some] |
101-
| main.rs:59:22:59:31 | source(...) | semmle.label | source(...) |
102-
| main.rs:60:13:60:13 | z [Some, tuple.1] | semmle.label | z [Some, tuple.1] |
103-
| main.rs:60:17:60:24 | a.zip(...) [Some, tuple.1] | semmle.label | a.zip(...) [Some, tuple.1] |
104-
| main.rs:60:23:60:23 | b [Some] | semmle.label | b [Some] |
105-
| main.rs:61:15:61:15 | z [Some, tuple.1] | semmle.label | z [Some, tuple.1] |
106-
| main.rs:62:13:62:24 | Some(...) [Some, tuple.1] | semmle.label | Some(...) [Some, tuple.1] |
107-
| main.rs:62:18:62:23 | TuplePat [tuple.1] | semmle.label | TuplePat [tuple.1] |
108-
| main.rs:62:22:62:22 | m | semmle.label | m |
109-
| main.rs:64:22:64:22 | m | semmle.label | m |
58+
| main.rs:12:9:12:9 | a [Some] | semmle.label | a [Some] |
59+
| main.rs:12:13:12:28 | Some(...) [Some] | semmle.label | Some(...) [Some] |
60+
| main.rs:12:18:12:27 | source(...) | semmle.label | source(...) |
61+
| main.rs:13:10:13:10 | a [Some] | semmle.label | a [Some] |
62+
| main.rs:13:10:13:19 | a.unwrap(...) | semmle.label | a.unwrap(...) |
63+
| main.rs:14:9:14:9 | b [Some] | semmle.label | b [Some] |
64+
| main.rs:14:13:14:13 | a [Some] | semmle.label | a [Some] |
65+
| main.rs:14:13:14:21 | a.clone(...) [Some] | semmle.label | a.clone(...) [Some] |
66+
| main.rs:15:10:15:10 | b [Some] | semmle.label | b [Some] |
67+
| main.rs:15:10:15:19 | b.unwrap(...) | semmle.label | b.unwrap(...) |
68+
| main.rs:19:9:19:9 | a [Ok] | semmle.label | a [Ok] |
69+
| main.rs:19:31:19:44 | Ok(...) [Ok] | semmle.label | Ok(...) [Ok] |
70+
| main.rs:19:34:19:43 | source(...) | semmle.label | source(...) |
71+
| main.rs:20:10:20:10 | a [Ok] | semmle.label | a [Ok] |
72+
| main.rs:20:10:20:19 | a.unwrap(...) | semmle.label | a.unwrap(...) |
73+
| main.rs:21:9:21:9 | b [Ok] | semmle.label | b [Ok] |
74+
| main.rs:21:13:21:13 | a [Ok] | semmle.label | a [Ok] |
75+
| main.rs:21:13:21:21 | a.clone(...) [Ok] | semmle.label | a.clone(...) [Ok] |
76+
| main.rs:22:10:22:10 | b [Ok] | semmle.label | b [Ok] |
77+
| main.rs:22:10:22:19 | b.unwrap(...) | semmle.label | b.unwrap(...) |
78+
| main.rs:26:9:26:9 | a | semmle.label | a |
79+
| main.rs:26:13:26:22 | source(...) | semmle.label | source(...) |
80+
| main.rs:27:10:27:10 | a | semmle.label | a |
81+
| main.rs:28:9:28:9 | b | semmle.label | b |
82+
| main.rs:28:13:28:13 | a | semmle.label | a |
83+
| main.rs:28:13:28:21 | a.clone(...) | semmle.label | a.clone(...) |
84+
| main.rs:29:10:29:10 | b | semmle.label | b |
85+
| main.rs:41:13:41:13 | w [Wrapper] | semmle.label | w [Wrapper] |
86+
| main.rs:41:17:41:41 | Wrapper {...} [Wrapper] | semmle.label | Wrapper {...} [Wrapper] |
87+
| main.rs:41:30:41:39 | source(...) | semmle.label | source(...) |
88+
| main.rs:42:15:42:15 | w [Wrapper] | semmle.label | w [Wrapper] |
89+
| main.rs:43:13:43:28 | Wrapper {...} [Wrapper] | semmle.label | Wrapper {...} [Wrapper] |
90+
| main.rs:43:26:43:26 | n | semmle.label | n |
91+
| main.rs:43:38:43:38 | n | semmle.label | n |
92+
| main.rs:45:13:45:13 | u [Wrapper] | semmle.label | u [Wrapper] |
93+
| main.rs:45:17:45:17 | w [Wrapper] | semmle.label | w [Wrapper] |
94+
| main.rs:45:17:45:25 | w.clone(...) [Wrapper] | semmle.label | w.clone(...) [Wrapper] |
95+
| main.rs:46:15:46:15 | u [Wrapper] | semmle.label | u [Wrapper] |
96+
| main.rs:47:13:47:28 | Wrapper {...} [Wrapper] | semmle.label | Wrapper {...} [Wrapper] |
97+
| main.rs:47:26:47:26 | n | semmle.label | n |
98+
| main.rs:47:38:47:38 | n | semmle.label | n |
99+
| main.rs:58:13:58:13 | b [Some] | semmle.label | b [Some] |
100+
| main.rs:58:17:58:32 | Some(...) [Some] | semmle.label | Some(...) [Some] |
101+
| main.rs:58:22:58:31 | source(...) | semmle.label | source(...) |
102+
| main.rs:59:13:59:13 | z [Some, tuple.1] | semmle.label | z [Some, tuple.1] |
103+
| main.rs:59:17:59:24 | a.zip(...) [Some, tuple.1] | semmle.label | a.zip(...) [Some, tuple.1] |
104+
| main.rs:59:23:59:23 | b [Some] | semmle.label | b [Some] |
105+
| main.rs:60:15:60:15 | z [Some, tuple.1] | semmle.label | z [Some, tuple.1] |
106+
| main.rs:61:13:61:24 | Some(...) [Some, tuple.1] | semmle.label | Some(...) [Some, tuple.1] |
107+
| main.rs:61:18:61:23 | TuplePat [tuple.1] | semmle.label | TuplePat [tuple.1] |
108+
| main.rs:61:22:61:22 | m | semmle.label | m |
109+
| main.rs:63:22:63:22 | m | semmle.label | m |
110110
subpaths
111111
testFailures
112112
#select
113-
| main.rs:14:10:14:19 | a.unwrap(...) | main.rs:13:18:13:27 | source(...) | main.rs:14:10:14:19 | a.unwrap(...) | $@ | main.rs:13:18:13:27 | source(...) | source(...) |
114-
| main.rs:16:10:16:19 | b.unwrap(...) | main.rs:13:18:13:27 | source(...) | main.rs:16:10:16:19 | b.unwrap(...) | $@ | main.rs:13:18:13:27 | source(...) | source(...) |
115-
| main.rs:21:10:21:19 | a.unwrap(...) | main.rs:20:34:20:43 | source(...) | main.rs:21:10:21:19 | a.unwrap(...) | $@ | main.rs:20:34:20:43 | source(...) | source(...) |
116-
| main.rs:23:10:23:19 | b.unwrap(...) | main.rs:20:34:20:43 | source(...) | main.rs:23:10:23:19 | b.unwrap(...) | $@ | main.rs:20:34:20:43 | source(...) | source(...) |
117-
| main.rs:28:10:28:10 | a | main.rs:27:13:27:22 | source(...) | main.rs:28:10:28:10 | a | $@ | main.rs:27:13:27:22 | source(...) | source(...) |
118-
| main.rs:30:10:30:10 | b | main.rs:27:13:27:22 | source(...) | main.rs:30:10:30:10 | b | $@ | main.rs:27:13:27:22 | source(...) | source(...) |
119-
| main.rs:44:38:44:38 | n | main.rs:42:30:42:39 | source(...) | main.rs:44:38:44:38 | n | $@ | main.rs:42:30:42:39 | source(...) | source(...) |
120-
| main.rs:48:38:48:38 | n | main.rs:42:30:42:39 | source(...) | main.rs:48:38:48:38 | n | $@ | main.rs:42:30:42:39 | source(...) | source(...) |
121-
| main.rs:64:22:64:22 | m | main.rs:59:22:59:31 | source(...) | main.rs:64:22:64:22 | m | $@ | main.rs:59:22:59:31 | source(...) | source(...) |
113+
| main.rs:13:10:13:19 | a.unwrap(...) | main.rs:12:18:12:27 | source(...) | main.rs:13:10:13:19 | a.unwrap(...) | $@ | main.rs:12:18:12:27 | source(...) | source(...) |
114+
| main.rs:15:10:15:19 | b.unwrap(...) | main.rs:12:18:12:27 | source(...) | main.rs:15:10:15:19 | b.unwrap(...) | $@ | main.rs:12:18:12:27 | source(...) | source(...) |
115+
| main.rs:20:10:20:19 | a.unwrap(...) | main.rs:19:34:19:43 | source(...) | main.rs:20:10:20:19 | a.unwrap(...) | $@ | main.rs:19:34:19:43 | source(...) | source(...) |
116+
| main.rs:22:10:22:19 | b.unwrap(...) | main.rs:19:34:19:43 | source(...) | main.rs:22:10:22:19 | b.unwrap(...) | $@ | main.rs:19:34:19:43 | source(...) | source(...) |
117+
| main.rs:27:10:27:10 | a | main.rs:26:13:26:22 | source(...) | main.rs:27:10:27:10 | a | $@ | main.rs:26:13:26:22 | source(...) | source(...) |
118+
| main.rs:29:10:29:10 | b | main.rs:26:13:26:22 | source(...) | main.rs:29:10:29:10 | b | $@ | main.rs:26:13:26:22 | source(...) | source(...) |
119+
| main.rs:43:38:43:38 | n | main.rs:41:30:41:39 | source(...) | main.rs:43:38:43:38 | n | $@ | main.rs:41:30:41:39 | source(...) | source(...) |
120+
| main.rs:47:38:47:38 | n | main.rs:41:30:41:39 | source(...) | main.rs:47:38:47:38 | n | $@ | main.rs:41:30:41:39 | source(...) | source(...) |
121+
| main.rs:63:22:63:22 | m | main.rs:58:22:58:31 | source(...) | main.rs:63:22:63:22 | m | $@ | main.rs:58:22:58:31 | source(...) | source(...) |

0 commit comments

Comments
 (0)