Remove a few debug trace

Entropy-Foundation · Dec 5, 2024 · f32cb3d · f32cb3d
1 parent dc3c47e
commit f32cb3d
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/aptos-move/framework/supra-framework/sources/coin.spec.move b/aptos-move/framework/supra-framework/sources/coin.spec.move
@@ -539,8 +539,6 @@ spec supra_framework::coin {
     ) {
         // TODO(fa_migration)
         pragma verify = true;
-        // pragma opaque;
-        // pragma aborts_if_is_partial = true;
         let account_addr_from = signer::address_of(from);
         let coin_store_from = global<CoinStore<CoinType>>(account_addr_from);
         let post coin_store_post_from = global<CoinStore<CoinType>>(account_addr_from);
@@ -558,7 +556,7 @@ spec supra_framework::coin {
         ensures account_addr_from != to ==> coin_store_post_from.coin.value ==
             coin_store_from.coin.value - amount;
         ensures account_addr_from != to ==> coin_store_post_to.coin.value == coin_store_to.coin.value + amount;
-        ensures account_addr_from == to ==> TRACE(coin_store_post_from.coin.value) == TRACE(coin_store_from.coin.value);
+        ensures account_addr_from == to ==> coin_store_post_from.coin.value == coin_store_from.coin.value;
     }
 
     /// Account is not frozen and sufficient balance.