File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed
utils-tests/modelgenerator Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change 1414| Macro calls - resolved | 8 |
1515| Macro calls - total | 9 |
1616| Macro calls - unresolved | 1 |
17- | Taint edges - number of edges | 3 |
17+ | Taint edges - number of edges | 4 |
1818| Taint reach - nodes tainted | 0 |
1919| Taint reach - per million nodes | 0 |
2020| Taint sinks - cryptographic operations | 0 |
Original file line number Diff line number Diff line change @@ -54,14 +54,14 @@ impl MyStruct {
5454 MyStruct { foo : a, bar : b }
5555 }
5656
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
5858 pub fn get_foo ( self ) -> i64 {
5959 match self {
6060 MyStruct { foo, bar : _ } => foo
6161 }
6262 }
6363
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
6565 pub fn get_bar ( self ) -> f64 {
6666 match self {
6767 MyStruct { foo : _, bar } => bar
You can’t perform that action at this time.
0 commit comments