[minor] Add a new allowed attribute for skipping mutation testing (#1…

…4942)

aptos-move/aptos-transactional-test-harness/tests/aptos_test_harness/tool_attributes.exp

@@ -0,0 +1 @@
+processed 2 tasks

aptos-move/aptos-transactional-test-harness/tests/aptos_test_harness/tool_attributes.move

@@ -0,0 +1,12 @@
+//# init --addresses Alice=0xf75daa73fc071f93593335eb9033da804777eb94491650dd3f095ce6f778acb6
+//#      --private-keys Alice=56a26140eb233750cd14fb168c3eb4bd0782b099cde626ec8aff7f3cceb6364f
+
+//# publish --private-key Alice
+module Alice::allowed_attributes {
+    #[mutation::skip]
+    fun blah() {}
+
+    #[fmt::skip]
+    #[mutation::skip]
+    fun blah_blah() {}
+}

aptos-move/framework/src/extended_checks.rs

@@ -40,6 +40,7 @@ const INIT_MODULE_FUN: &str = "init_module";
 const LEGACY_ENTRY_FUN_ATTRIBUTE: &str = "legacy_entry_fun";
 const ERROR_PREFIX: &str = "E";
 const EVENT_STRUCT_ATTRIBUTE: &str = "event";
+const MUTATION_SKIP_ATTRIBUTE: &str = "mutation::skip";
 const RANDOMNESS_ATTRIBUTE: &str = "randomness";
 const RANDOMNESS_MAX_GAS_CLAIM: &str = "max_gas";
 const RESOURCE_GROUP: &str = "resource_group";
@@ -52,10 +53,11 @@ const RANDOMNESS_MODULE_NAME: &str = "randomness";
 
 // top-level attribute names, only.
 pub fn get_all_attribute_names() -> &'static BTreeSet<String> {
-    const ALL_ATTRIBUTE_NAMES: [&str; 8] = [
+    const ALL_ATTRIBUTE_NAMES: [&str; 9] = [
         ALLOW_UNSAFE_RANDOMNESS_ATTRIBUTE,
         FMT_SKIP_ATTRIBUTE,
         LEGACY_ENTRY_FUN_ATTRIBUTE,
+        MUTATION_SKIP_ATTRIBUTE,
         RESOURCE_GROUP,
         RESOURCE_GROUP_MEMBER,
         VIEW_FUN_ATTRIBUTE,