File tree 2 files changed +3
-3
lines changed
utils-tests/modelgenerator
2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change 14
14
| Macro calls - resolved | 8 |
15
15
| Macro calls - total | 9 |
16
16
| Macro calls - unresolved | 1 |
17
- | Taint edges - number of edges | 3 |
17
+ | Taint edges - number of edges | 4 |
18
18
| Taint reach - nodes tainted | 0 |
19
19
| Taint reach - per million nodes | 0 |
20
20
| Taint sinks - cryptographic operations | 0 |
Original file line number Diff line number Diff line change @@ -54,14 +54,14 @@ impl MyStruct {
54
54
MyStruct { foo : a, bar : b }
55
55
}
56
56
57
- // MISSING: summary=repo::test;<crate::summaries::MyStruct>::get_foo;Argument[self].Struct[crate::summaries::MyStruct::foo];ReturnValue;value;dfc-generated
57
+ // summary=repo::test;<crate::summaries::MyStruct>::get_foo;Argument[self].Struct[crate::summaries::MyStruct::foo];ReturnValue;value;dfc-generated
58
58
pub fn get_foo ( self ) -> i64 {
59
59
match self {
60
60
MyStruct { foo, bar : _ } => foo
61
61
}
62
62
}
63
63
64
- // MISSING: summary=repo::test;<crate::summaries::MyStruct>::get_foo ;Argument[self].Struct[crate::summaries::MyStruct::bar];ReturnValue;value;dfc-generated
64
+ // summary=repo::test;<crate::summaries::MyStruct>::get_bar ;Argument[self].Struct[crate::summaries::MyStruct::bar];ReturnValue;value;dfc-generated
65
65
pub fn get_bar ( self ) -> f64 {
66
66
match self {
67
67
MyStruct { foo : _, bar } => bar
You can’t perform that action at this time.
0 commit comments