Skip to content

Commit

Permalink
Turn off the verification on new created initializer
Browse files Browse the repository at this point in the history
  • Loading branch information
axiongsupra committed Jun 27, 2024
1 parent f21251e commit 88a91eb
Showing 1 changed file with 24 additions and 0 deletions.
24 changes: 24 additions & 0 deletions aptos-move/framework/supra-framework/sources/genesis.spec.move
Original file line number Diff line number Diff line change
Expand Up @@ -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);
Expand Down

0 comments on commit 88a91eb

Please sign in to comment.