Fix supra_coin spec

Entropy-Foundation · Jun 27, 2024 · c14c516 · c14c516
1 parent c3f406b
commit c14c516
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 97 deletions.
diff --git a/aptos-move/framework/supra-framework/sources/aptos_coin.spec.move b/aptos-move/framework/supra-framework/sources/aptos_coin.spec.move
diff --git a/aptos-move/framework/supra-framework/sources/supra_coin.spec.move b/aptos-move/framework/supra-framework/sources/supra_coin.spec.move
@@ -9,8 +9,8 @@ spec supra_framework::supra_coin {
 
         let addr = signer::address_of(supra_framework);
         aborts_if addr != @supra_framework;
-        aborts_if !string::spec_internal_check_utf8(b"Aptos Coin");
-        aborts_if !string::spec_internal_check_utf8(b"APT");
+        aborts_if !string::spec_internal_check_utf8(b"Supra Coin");
+        aborts_if !string::spec_internal_check_utf8(b"SUP");
         aborts_if exists<MintCapStore>(addr);
         aborts_if exists<coin::CoinInfo<SupraCoin>>(addr);
         aborts_if !exists<aggregator_factory::AggregatorFactory>(addr);