[move] Remove framework bloat

framework/libra-framework/sources/modified_source/account.move

@@ -18,15 +18,19 @@ module diem_framework::account {
 
     // use diem_std::debug::print;
 
-    #[test_only]
-    friend diem_framework::diem_account;
     friend diem_framework::coin;
     friend diem_framework::genesis;
-    friend diem_framework::resource_account;
     friend diem_framework::transaction_validation;
     //////// 0L ////////
     friend ol_framework::ol_account;
     friend diem_framework::multisig_account;
+
+    #[test_only]
+    friend diem_framework::diem_account;
+    #[test_only]
+    friend diem_framework::resource_account;
+    //////// end 0L ////////
+
     /// Resource representing an account.
     struct Account has key, store {
         authentication_key: vector<u8>,

framework/libra-framework/sources/resource_account.move → framework/libra-framework/sources/modified_source/test_only/resource_account_test_only.move

@@ -1,3 +1,4 @@
+#[test_only]
 /// A resource account is used to manage resources independent of an account managed by a user.
 /// This contains several utilities to make using resource accounts more effective.
 ///
@@ -58,6 +59,7 @@
 ///    module.resource_signer_cap = option::some(resource_signer_cap);
 /// }
 /// ```
+
 module diem_framework::resource_account {
     use std::error;
     use std::signer;

framework/libra-framework/sources/ol_sources/gas_coin.spec.move → framework/libra-framework/sources/ol_sources/libra_coin.spec.move

@@ -1,4 +1,4 @@
-spec diem_framework::diem_coin {
+spec ol_framework::libra_coin {
     spec module {
         pragma verify = true;
         pragma aborts_if_is_strict;
@@ -8,7 +8,7 @@ spec diem_framework::diem_coin {
         pragma aborts_if_is_partial;
         let addr = signer::address_of(diem_framework);
         ensures exists<MintCapStore>(addr);
-        ensures exists<coin::CoinInfo<DiemCoin>>(addr);
+        ensures exists<coin::CoinInfo<LibraCoin>>(addr);
     }
 
     spec destroy_mint_cap {
@@ -22,10 +22,10 @@ spec diem_framework::diem_coin {
         pragma verify = false;
     }
 
-    // Only callable in tests and testnets.not needed verify.
-    spec mint {
-        pragma verify = false;
-    }
+    // // Only callable in tests and testnets.not needed verify.
+    // spec mint {
+    //     pragma verify = false;
+    // }
 
     // Only callable in tests and testnets.not needed verify.
     spec delegate_mint_capability {