Merge pull request #133 from movementlabsxyz/l-monninger/fix-movement

fix: release package missing.

Author: l-monninger

aptos-move/aptos-vm/src/aptos_vm.rs

@@ -750,10 +750,11 @@ impl AptosVM {
             let module_id = traversal_context
                 .referenced_module_ids
                 .alloc(entry_fn.module().clone());
-            session.check_dependencies_and_charge_gas(gas_meter, traversal_context, [(
-                module_id.address(),
-                module_id.name(),
-            )])?;
+            session.check_dependencies_and_charge_gas(
+                gas_meter,
+                traversal_context,
+                [(module_id.address(), module_id.name())],
+            )?;
         }
 
         let function =
@@ -1318,7 +1319,14 @@ impl AptosVM {
                     )?;
                 } else {
                     return Err(PartialVMError::new(StatusCode::CONSTRAINT_NOT_SATISFIED)
-                        .finish(Location::Undefined));
+                        .with_message(format!(
+                            "initializer not found in module '{}'",
+                            module.self_id().name()
+                        ))
+                        .finish(Location::Constraint(format!(
+                            "module must have an initializer function name '{}'",
+                            init_func_name
+                        ))));
                 }
             }
         }
@@ -1541,7 +1549,9 @@ impl AptosVM {
     fn metadata_validation_error(msg: &str) -> VMError {
         PartialVMError::new(StatusCode::CONSTRAINT_NOT_SATISFIED)
             .with_message(format!("metadata and code bundle mismatch: {}", msg))
-            .finish(Location::Undefined)
+            .finish(Location::Constraint(
+                "metadata must match the code bundle".to_string(),
+            ))
     }
 
     fn validate_signed_transaction(
@@ -2335,6 +2345,11 @@ impl AptosVM {
                         // The known Move function failure and type resolution failure could be a result of speculative execution. Use speculative logger.
                         StatusCode::UNEXPECTED_ERROR_FROM_KNOWN_MOVE_FUNCTION
                         | StatusCode::TYPE_RESOLUTION_FAILURE => {
+                            println!(
+                                "[aptos_vm] Transaction breaking known Move function failure. txn: {:?}, status: {:?}",
+                                bcs::to_bytes::<SignedTransaction>(txn),
+                                vm_status,
+                            );
                             speculative_error!(
                                 log_context,
                                 format!(

aptos-move/aptos-vm/src/errors.rs

@@ -97,6 +97,7 @@ pub fn convert_prologue_error(
                     let err_msg = format!("[aptos_vm] Unexpected prologue Move abort: {:?}::{:?} (Category: {:?} Reason: {:?})",
                     location, code, category, reason);
                     speculative_error!(log_context, err_msg.clone());
+                    println!("Error: {:?}", err_msg);
                     return Err(VMStatus::error(
                         StatusCode::UNEXPECTED_ERROR_FROM_KNOWN_MOVE_FUNCTION,
                         Some(err_msg),
@@ -138,6 +139,7 @@ pub fn convert_prologue_error(
                     let err_msg = format!("[aptos_vm] Unexpected prologue Move abort: {:?}::{:?} (Category: {:?} Reason: {:?})",
                     location, code, category, reason);
                     speculative_error!(log_context, err_msg.clone());
+                    println!("Error: {:?}", err_msg);
                     return Err(VMStatus::Error {
                         status_code: StatusCode::UNEXPECTED_ERROR_FROM_KNOWN_MOVE_FUNCTION,
                         sub_status: None,
@@ -152,10 +154,11 @@ pub fn convert_prologue_error(
                 log_context,
                 format!("[aptos_vm] Unexpected prologue error: {:?}", status),
             );
+            println!("Error: {:?}", status);
             VMStatus::Error {
                 status_code: StatusCode::UNEXPECTED_ERROR_FROM_KNOWN_MOVE_FUNCTION,
                 sub_status: status.sub_status(),
-                message: None,
+                message: Some(format!("{:?}", status)),
             }
         },
     })
@@ -178,6 +181,7 @@ pub fn convert_epilogue_error(
             let err_msg = format!("[aptos_vm] Unexpected success epilogue Move abort: {:?}::{:?} (Category: {:?} Reason: {:?})",
 			location, code, category, reason);
             speculative_error!(log_context, err_msg.clone());
+            print!("Error: {:?}", err_msg);
             VMStatus::error(
                 StatusCode::UNEXPECTED_ERROR_FROM_KNOWN_MOVE_FUNCTION,
                 Some(err_msg),
@@ -190,6 +194,7 @@ pub fn convert_epilogue_error(
                 let err_msg = format!("[aptos_vm] Unexpected success epilogue Move abort: {:?}::{:?} (Category: {:?} Reason: {:?})",
 			    location, code, category, reason);
                 speculative_error!(log_context, err_msg.clone());
+                println!("Error: {:?}", err_msg);
                 VMStatus::error(
                     StatusCode::UNEXPECTED_ERROR_FROM_KNOWN_MOVE_FUNCTION,
                     Some(err_msg),
@@ -199,6 +204,7 @@ pub fn convert_epilogue_error(
         status => {
             let err_msg = format!("[aptos_vm] Unexpected success epilogue error: {:?}", status);
             speculative_error!(log_context, err_msg.clone());
+            println!("Error: {:?}", err_msg);
             VMStatus::Error {
                 status_code: StatusCode::UNEXPECTED_ERROR_FROM_KNOWN_MOVE_FUNCTION,
                 sub_status: status.sub_status(),
@@ -234,6 +240,7 @@ pub fn expect_only_successful_execution(
                 function_name, status
             );
             speculative_warn!(log_context, err_msg.clone());
+            println!("Error: {:?}", err_msg);
             VMStatus::Error {
                 status_code: StatusCode::UNEXPECTED_ERROR_FROM_KNOWN_MOVE_FUNCTION,
                 sub_status: status.sub_status(),

aptos-move/aptos-vm/src/verifier/resource_groups.rs

@@ -22,7 +22,9 @@ fn metadata_validation_err(msg: &str) -> Result<(), VMError> {
 fn metadata_validation_error(msg: &str) -> VMError {
     PartialVMError::new(StatusCode::CONSTRAINT_NOT_SATISFIED)
         .with_message(format!("metadata and code bundle mismatch: {}", msg))
-        .finish(Location::Undefined)
+        .finish(Location::Constraint(
+            "metadata must match code bundle".to_string(),
+        ))
 }
 
 /// Perform validation and upgrade checks on resource groups