Rust: revert test expectations

Author: Paolo Tranquilli

rust/ql/test/library-tests/dataflow/sources/CONSISTENCY/ExtractionConsistency.expected

@@ -4,6 +4,7 @@
 | test.rs:42:9:42:25 | ...::stdout(...) | test.rs:39:1:39:13 | Attr | test.rs:42:9:42:25 | ...::stdout(...) | Call to ...::stdout(...) in a function with the dtor attribute. |
 | test.rs:52:9:52:16 | stdout(...) | test.rs:50:1:50:7 | Attr | test.rs:52:9:52:16 | stdout(...) | Call to stdout(...) in a function with the ctor attribute. |
 | test.rs:57:9:57:16 | stderr(...) | test.rs:55:1:55:7 | Attr | test.rs:57:9:57:16 | stderr(...) | Call to stderr(...) in a function with the ctor attribute. |
+| test.rs:62:14:62:28 | ...::_print(...) | test.rs:60:1:60:7 | Attr | test.rs:62:14:62:28 | ...::_print(...) | Call to ...::_print(...) in a function with the ctor attribute. |
 | test.rs:68:9:68:24 | ...::stdin(...) | test.rs:65:1:65:7 | Attr | test.rs:68:9:68:24 | ...::stdin(...) | Call to ...::stdin(...) in a function with the ctor attribute. |
 | test.rs:89:5:89:35 | ...::sleep(...) | test.rs:87:1:87:7 | Attr | test.rs:89:5:89:35 | ...::sleep(...) | Call to ...::sleep(...) in a function with the ctor attribute. |
 | test.rs:96:5:96:23 | ...::exit(...) | test.rs:94:1:94:7 | Attr | test.rs:96:5:96:23 | ...::exit(...) | Call to ...::exit(...) in a function with the ctor attribute. |
@@ -13,6 +14,7 @@
 | test.rs:125:9:125:44 | ... .write_all(...) | test.rs:128:1:128:7 | Attr | test.rs:125:9:125:44 | ... .write_all(...) | Call to ... .write_all(...) in a function with the ctor attribute. |
 | test.rs:125:9:125:44 | ... .write_all(...) | test.rs:144:1:144:7 | Attr | test.rs:125:9:125:44 | ... .write_all(...) | Call to ... .write_all(...) in a function with the ctor attribute. |
 | test.rs:125:9:125:44 | ... .write_all(...) | test.rs:150:1:150:7 | Attr | test.rs:125:9:125:44 | ... .write_all(...) | Call to ... .write_all(...) in a function with the ctor attribute. |
+| test.rs:170:5:170:15 | ...::stdout(...) | test.rs:168:1:168:7 | Attr | test.rs:170:5:170:15 | ...::stdout(...) | Call to ...::stdout(...) in a function with the ctor attribute. |
 edges
 | test.rs:28:1:28:13 | Attr | test.rs:28:1:31:1 | fn bad1_1 |
 | test.rs:28:1:31:1 | fn bad1_1 | test.rs:30:9:30:25 | ...::stdout(...) |
@@ -24,6 +26,8 @@ edges
 | test.rs:50:1:53:1 | fn bad2_1 | test.rs:52:9:52:16 | stdout(...) |
 | test.rs:55:1:55:7 | Attr | test.rs:55:1:58:1 | fn bad2_2 |
 | test.rs:55:1:58:1 | fn bad2_2 | test.rs:57:9:57:16 | stderr(...) |
+| test.rs:60:1:60:7 | Attr | test.rs:60:1:63:1 | fn bad2_3 |
+| test.rs:60:1:63:1 | fn bad2_3 | test.rs:62:14:62:28 | ...::_print(...) |
 | test.rs:65:1:65:7 | Attr | test.rs:65:1:69:1 | fn bad2_4 |
 | test.rs:65:1:69:1 | fn bad2_4 | test.rs:68:9:68:24 | ...::stdin(...) |
 | test.rs:87:1:87:7 | Attr | test.rs:87:1:90:1 | fn bad2_7 |
@@ -41,8 +45,5 @@ edges
 | test.rs:150:1:150:7 | Attr | test.rs:150:1:153:1 | fn bad3_4 |
 | test.rs:150:1:153:1 | fn bad3_4 | test.rs:152:5:152:12 | bad3_3(...) |
 | test.rs:152:5:152:12 | bad3_3(...) | test.rs:144:1:148:1 | fn bad3_3 |
-testFailures
-| test.rs:60:9:60:29 | //... | Missing result: Source=source2_3 |
-| test.rs:62:32:62:77 | //... | Missing result: Alert[rust/ctor-initialization]=source2_3 |
-| test.rs:168:9:168:29 | //... | Missing result: Source=source4_1 |
-| test.rs:170:18:170:63 | //... | Missing result: Alert[rust/ctor-initialization]=source4_1 |
+| test.rs:168:1:168:7 | Attr | test.rs:168:1:171:1 | fn bad4_1 |
+| test.rs:168:1:171:1 | fn bad4_1 | test.rs:170:5:170:15 | ...::stdout(...) |