From 88a91ebd5361c619aadf1801a629fb971339a868 Mon Sep 17 00:00:00 2001
From: axiongsupra <a.xiong@supraoracles.com>
Date: Wed, 26 Jun 2024 23:08:50 -0400
Subject: [PATCH] Turn off the verification on new created initializer

---
 .../supra-framework/sources/genesis.spec.move | 24 +++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/aptos-move/framework/supra-framework/sources/genesis.spec.move b/aptos-move/framework/supra-framework/sources/genesis.spec.move
index 7168f6aba8f4d..98442971e1d5f 100644
--- a/aptos-move/framework/supra-framework/sources/genesis.spec.move
+++ b/aptos-move/framework/supra-framework/sources/genesis.spec.move
@@ -147,6 +147,30 @@ spec supra_framework::genesis {
         ensures global<chain_status::GenesisEndMarker>(@supra_framework) == chain_status::GenesisEndMarker {};
     }
 
+    spec create_delegation_pools {
+        pragma verify = false;
+    }
+
+    spec create_delegation_pool {
+        pragma verify = false;
+    }
+
+    spec create_pbo_delegation_pools {
+        pragma verify = false;
+    }
+
+    spec create_pbo_delegation_pool {
+        pragma verify = false;
+    }
+
+    spec assert_validator_addresses_check {
+        pragma verify = false;
+    }
+
+    spec create_vesting_without_staking_pools {
+        pragma verify = false;
+    }
+
     spec schema InitalizeRequires {
         execution_config: vector<u8>;
         requires !exists<account::Account>(@supra_framework);