Re-run tests for adapter

external-crates/move/crates/move-analyzer/trace-adapter/tests/abort_native/build/abort_native/source_maps/m.json

@@ -1 +1 @@
-{"definition_location":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":168,"end":169},"module_name":["0000000000000000000000000000000000000000000000000000000000000000","m"],"struct_map":{},"enum_map":{},"function_map":{"0":{"location":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":172,"end":303},"definition_location":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":176,"end":179},"type_parameters":[],"parameters":[["v#0#0",{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":180,"end":181}],["p#0#0",{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":195,"end":196}]],"returns":[{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":205,"end":208},{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":210,"end":217}],"locals":[["addr#1#0",{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":250,"end":254}],["val#1#0",{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":229,"end":232}]],"nops":{},"code_map":{"0":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":235,"end":236},"1":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":239,"end":240},"2":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":237,"end":238},"3":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":229,"end":232},"4":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":282,"end":283},"5":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":257,"end":284},"6":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":250,"end":254},"7":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":291,"end":294},"8":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":296,"end":300},"9":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":290,"end":301}},"is_native":false},"1":{"location":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":313,"end":363},"definition_location":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":317,"end":321},"type_parameters":[],"parameters":[],"returns":[],"locals":[],"nops":{},"code_map":{"0":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":352,"end":354},"1":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":334,"end":355},"2":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":357,"end":359},"3":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":330,"end":360},"6":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":360,"end":361}},"is_native":false},"2":{"location":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":147,"end":363},"definition_location":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":147,"end":363},"type_parameters":[],"parameters":[],"returns":[],"locals":[],"nops":{},"code_map":{"0":{"file_hash":[57,183,107,225,240,52,116,228,84,241,116,170,33,69,63,92,184,20,95,216,175,56,87,163,157,86,119,65,26,67,22,113],"start":147,"end":363}},"is_native":false}},"constant_map":{}}
+{"definition_location":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":165,"end":166},"module_name":["0000000000000000000000000000000000000000000000000000000000000000","m"],"struct_map":{},"enum_map":{},"function_map":{"0":{"location":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":169,"end":300},"definition_location":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":173,"end":176},"type_parameters":[],"parameters":[["v#0#0",{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":177,"end":178}],["p#0#0",{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":192,"end":193}]],"returns":[{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":202,"end":205},{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":207,"end":214}],"locals":[["addr#1#0",{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":247,"end":251}],["val#1#0",{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":226,"end":229}]],"nops":{},"code_map":{"0":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":232,"end":233},"1":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":236,"end":237},"2":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":234,"end":235},"3":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":226,"end":229},"4":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":279,"end":280},"5":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":254,"end":281},"6":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":247,"end":251},"7":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":288,"end":291},"8":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":293,"end":297},"9":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":287,"end":298}},"is_native":false},"1":{"location":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":310,"end":360},"definition_location":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":314,"end":318},"type_parameters":[],"parameters":[],"returns":[],"locals":[],"nops":{},"code_map":{"0":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":349,"end":351},"1":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":331,"end":352},"2":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":354,"end":356},"3":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":327,"end":357},"6":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":357,"end":358}},"is_native":false},"2":{"location":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":144,"end":360},"definition_location":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":144,"end":360},"type_parameters":[],"parameters":[],"returns":[],"locals":[],"nops":{},"code_map":{"0":{"file_hash":[35,192,73,146,187,209,16,184,196,36,169,188,88,79,206,92,162,180,141,219,153,214,213,222,139,239,208,224,86,48,106,204],"start":144,"end":360}},"is_native":false}},"constant_map":{}}

external-crates/move/crates/move-analyzer/trace-adapter/tests/abort_native/build/abort_native/sources/dependencies/MoveStdlib/vector.move

@@ -84,10 +84,8 @@ public fun reverse<Element>(v: &mut vector<Element>) {
 }
 
 /// Pushes all of the elements of the `other` vector into the `lhs` vector.
-public fun append<Element>(lhs: &mut vector<Element>, mut other: vector<Element>) {
-    other.reverse();
-    while (!other.is_empty()) lhs.push_back(other.pop_back());
-    other.destroy_empty();
+public fun append<Element>(lhs: &mut vector<Element>, other: vector<Element>) {
+    other.do!(|e| lhs.push_back(e));
 }
 
 /// Return `true` if the vector `v` has no elements and `false` otherwise.
@@ -156,7 +154,7 @@ public fun insert<Element>(v: &mut vector<Element>, e: Element, mut i: u64) {
 /// This is O(1), but does not preserve ordering of elements in the vector.
 /// Aborts if `i` is out of bounds.
 public fun swap_remove<Element>(v: &mut vector<Element>, i: u64): Element {
-    assert!(!v.is_empty(), EINDEX_OUT_OF_BOUNDS);
+    assert!(v.length() != 0, EINDEX_OUT_OF_BOUNDS);
     let last_idx = v.length() - 1;
     v.swap(i, last_idx);
     v.pop_back()
@@ -176,7 +174,7 @@ public macro fun tabulate<$T>($n: u64, $f: |u64| -> $T): vector<$T> {
 /// Does not preserve the order of elements in the vector (starts from the end of the vector).
 public macro fun destroy<$T>($v: vector<$T>, $f: |$T|) {
     let mut v = $v;
-    while (!v.is_empty()) $f(v.pop_back());
+    while (v.length() != 0) $f(v.pop_back());
     v.destroy_empty();
 }
 
@@ -185,7 +183,7 @@ public macro fun destroy<$T>($v: vector<$T>, $f: |$T|) {
 public macro fun do<$T>($v: vector<$T>, $f: |$T|) {
     let mut v = $v;
     v.reverse();
-    while (!v.is_empty()) $f(v.pop_back());
+    v.length().do!(|_| $f(v.pop_back()));
     v.destroy_empty();
 }