From bd7af04bc4a8c16a4b0dff8069252c1d4a4fbb08 Mon Sep 17 00:00:00 2001
From: franck44 <francksquash@gmail.com>
Date: Thu, 7 Nov 2024 16:30:15 +1100
Subject: [PATCH 1/3] Ignore Boogie files.

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 47156ef12d9ac..70f40a2266351 100644
--- a/.gitignore
+++ b/.gitignore
@@ -135,3 +135,6 @@ test_indexer_grpc/*
 *.dot
 *.bytecode
 !third_party/move/move-prover/tests/xsources/design/*.bytecode
+
+# ignore Move Prover arfetacts (boogie)
+*.bpl

From 833a732c99bfe48af3b746225710a1284e1c9147 Mon Sep 17 00:00:00 2001
From: franck44 <francksquash@gmail.com>
Date: Thu, 7 Nov 2024 16:31:34 +1100
Subject: [PATCH 2/3] Swap order of doc and attributes. see #89

---
 .../framework/aptos-framework/sources/atomic_bridge.move      | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/aptos-move/framework/aptos-framework/sources/atomic_bridge.move b/aptos-move/framework/aptos-framework/sources/atomic_bridge.move
index ba4db10c7a2d3..85526ae98bb9c 100644
--- a/aptos-move/framework/aptos-framework/sources/atomic_bridge.move
+++ b/aptos-move/framework/aptos-framework/sources/atomic_bridge.move
@@ -828,24 +828,24 @@ module aptos_framework::atomic_bridge_store {
         keccak256(combined_bytes)
     }
 
+    #[view]
     /// Gets initiator bridge transfer details given a bridge transfer ID
     ///
     /// @param bridge_transfer_id A 32-byte vector of unsigned 8-bit integers.
     /// @return A `BridgeTransferDetails` struct.
     /// @abort If there is no transfer in the atomic bridge store.
-    #[view]
     public fun get_bridge_transfer_details_initiator(
         bridge_transfer_id: vector<u8>
     ): BridgeTransferDetails<address, EthereumAddress> acquires SmartTableWrapper {
         get_bridge_transfer_details(bridge_transfer_id)
     }
 
+    #[view]
     /// Gets counterparty bridge transfer details given a bridge transfer ID
     ///
     /// @param bridge_transfer_id A 32-byte vector of unsigned 8-bit integers.
     /// @return A `BridgeTransferDetails` struct.
     /// @abort If there is no transfer in the atomic bridge store.
-    #[view]
     public fun get_bridge_transfer_details_counterparty(
         bridge_transfer_id: vector<u8>
     ): BridgeTransferDetails<EthereumAddress, address> acquires SmartTableWrapper {

From fc7867db7e48a6cb0cff120bd3e6e78f43bdf16c Mon Sep 17 00:00:00 2001
From: franck44 <francksquash@gmail.com>
Date: Thu, 7 Nov 2024 16:32:54 +1100
Subject: [PATCH 3/3] Add attribute #[test_only] to module only used in test.
 Fixes #89

---
 aptos-move/framework/aptos-framework/sources/atomic_bridge.move | 1 +
 1 file changed, 1 insertion(+)

diff --git a/aptos-move/framework/aptos-framework/sources/atomic_bridge.move b/aptos-move/framework/aptos-framework/sources/atomic_bridge.move
index 85526ae98bb9c..f5f11b900830b 100644
--- a/aptos-move/framework/aptos-framework/sources/atomic_bridge.move
+++ b/aptos-move/framework/aptos-framework/sources/atomic_bridge.move
@@ -526,6 +526,7 @@ module aptos_framework::atomic_bridge_store {
     use aptos_std::aptos_hash::keccak256;
     use aptos_std::smart_table;
     use aptos_std::smart_table::SmartTable;
+    #[test_only]
     use aptos_framework::atomic_bridge_configuration;
     use aptos_framework::ethereum::EthereumAddress;
     use aptos_framework::system_addresses;