From f2f7253af631272072a162955ed33935fab6bf13 Mon Sep 17 00:00:00 2001 From: Pascal Marco Caversaccio Date: Sun, 3 Aug 2025 10:32:26 +0200 Subject: [PATCH 1/5] =?UTF-8?q?=F0=9F=A5=A2=20Set=20`=5FskipRoundTripShare?= =?UTF-8?q?s`=20Flag=20in=20`ERC4626VaultTest`?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Pascal Marco Caversaccio --- .github/workflows/halmos-venom.yml | 2 +- .github/workflows/halmos.yml | 2 +- test/extensions/ERC4626.t.sol | 1 + 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/halmos-venom.yml b/.github/workflows/halmos-venom.yml index 0e68df53..3d8e6b07 100644 --- a/.github/workflows/halmos-venom.yml +++ b/.github/workflows/halmos-venom.yml @@ -50,7 +50,7 @@ jobs: run: pip install setuptools - name: Install Halmos - run: pip install git+https://github.com/a16z/halmos.git@main + run: pip install git+https://github.com/a16z/halmos.git@ba94bdc232c746b61f12eeacef6136eace81c7c2 - name: Show the Halmos version run: halmos --version diff --git a/.github/workflows/halmos.yml b/.github/workflows/halmos.yml index 4455166b..687c9119 100644 --- a/.github/workflows/halmos.yml +++ b/.github/workflows/halmos.yml @@ -50,7 +50,7 @@ jobs: run: pip install setuptools - name: Install Halmos - run: pip install git+https://github.com/a16z/halmos.git@main + run: pip install git+https://github.com/a16z/halmos.git@ba94bdc232c746b61f12eeacef6136eace81c7c2 - name: Show the Halmos version run: halmos --version diff --git a/test/extensions/ERC4626.t.sol b/test/extensions/ERC4626.t.sol index 3a3a6c89..e0ed621f 100644 --- a/test/extensions/ERC4626.t.sol +++ b/test/extensions/ERC4626.t.sol @@ -122,6 +122,7 @@ contract ERC4626VaultTest is ERC4626Test { _delta_ = 0; _vaultMayBeEmpty = true; _unlimitedAmount = true; + _skipRoundTripShares = false; } function testInitialSetup() public { From 250d6cc2353f46c7a934b652a729e92e5fa36709 Mon Sep 17 00:00:00 2001 From: Pascal Marco Caversaccio Date: Sun, 3 Aug 2025 12:54:54 +0200 Subject: [PATCH 2/5] =?UTF-8?q?=F0=9F=A5=A2=20Revert=20`halmos`=20Test=20C?= =?UTF-8?q?ommit?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Pascal Marco Caversaccio --- .github/workflows/halmos-venom.yml | 2 +- .github/workflows/halmos.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/halmos-venom.yml b/.github/workflows/halmos-venom.yml index 3d8e6b07..0e68df53 100644 --- a/.github/workflows/halmos-venom.yml +++ b/.github/workflows/halmos-venom.yml @@ -50,7 +50,7 @@ jobs: run: pip install setuptools - name: Install Halmos - run: pip install git+https://github.com/a16z/halmos.git@ba94bdc232c746b61f12eeacef6136eace81c7c2 + run: pip install git+https://github.com/a16z/halmos.git@main - name: Show the Halmos version run: halmos --version diff --git a/.github/workflows/halmos.yml b/.github/workflows/halmos.yml index 687c9119..4455166b 100644 --- a/.github/workflows/halmos.yml +++ b/.github/workflows/halmos.yml @@ -50,7 +50,7 @@ jobs: run: pip install setuptools - name: Install Halmos - run: pip install git+https://github.com/a16z/halmos.git@ba94bdc232c746b61f12eeacef6136eace81c7c2 + run: pip install git+https://github.com/a16z/halmos.git@main - name: Show the Halmos version run: halmos --version From 54fa9627df0f40de22063109aa9cacde55c77dcf Mon Sep 17 00:00:00 2001 From: Pascal Marco Caversaccio Date: Sun, 3 Aug 2025 13:17:31 +0200 Subject: [PATCH 3/5] =?UTF-8?q?=F0=9F=A5=A2=20Downgrade=20`forge-std`=20to?= =?UTF-8?q?=20Commit=20`369dd01c808c255765b074c12aa420da33947a65`?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Pascal Marco Caversaccio --- lib/forge-std | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/forge-std b/lib/forge-std index c7be2a34..369dd01c 160000 --- a/lib/forge-std +++ b/lib/forge-std @@ -1 +1 @@ -Subproject commit c7be2a3481f9e51230880bb0949072c7e3a4da82 +Subproject commit 369dd01c808c255765b074c12aa420da33947a65 From 6906f6c64e7a40f7755e4422cbf908901969e16f Mon Sep 17 00:00:00 2001 From: Pascal Marco Caversaccio Date: Sun, 3 Aug 2025 16:27:58 +0200 Subject: [PATCH 4/5] =?UTF-8?q?=F0=9F=A5=A2=20Downgrade=20`forge-std`=20to?= =?UTF-8?q?=20Commit=20`276ccaa5d1fe6455e7949154d7203af9ad466cf1`?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Pascal Marco Caversaccio --- lib/forge-std | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/forge-std b/lib/forge-std index 369dd01c..276ccaa5 160000 --- a/lib/forge-std +++ b/lib/forge-std @@ -1 +1 @@ -Subproject commit 369dd01c808c255765b074c12aa420da33947a65 +Subproject commit 276ccaa5d1fe6455e7949154d7203af9ad466cf1 From 190ac7e45d7744e2c0c4170b4da8922120f8caf8 Mon Sep 17 00:00:00 2001 From: Pascal Marco Caversaccio Date: Mon, 4 Aug 2025 13:03:36 +0200 Subject: [PATCH 5/5] =?UTF-8?q?=F0=9F=A5=A2=20Downgrade=20`forge-std`=20to?= =?UTF-8?q?=20Commit=20`369dd01c808c255765b074c12aa420da33947a65`?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Pascal Marco Caversaccio --- lib/forge-std | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/forge-std b/lib/forge-std index 276ccaa5..369dd01c 160000 --- a/lib/forge-std +++ b/lib/forge-std @@ -1 +1 @@ -Subproject commit 276ccaa5d1fe6455e7949154d7203af9ad466cf1 +Subproject commit 369dd01c808c255765b074c12aa420da33947a65