From 4ded4839fec8bd70e741cbb9dde668a97a66427b Mon Sep 17 00:00:00 2001 From: mrq Date: Fri, 13 Sep 2024 12:58:51 +0200 Subject: [PATCH 1/9] stableswap invariant case --- math/proptest-regressions/stableswap/tests/invariants.txt | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 math/proptest-regressions/stableswap/tests/invariants.txt diff --git a/math/proptest-regressions/stableswap/tests/invariants.txt b/math/proptest-regressions/stableswap/tests/invariants.txt new file mode 100644 index 0000000000..a65f70fb0f --- /dev/null +++ b/math/proptest-regressions/stableswap/tests/invariants.txt @@ -0,0 +1,7 @@ +# Seeds for failure cases proptest has generated in the past. It is +# automatically read and these particular cases re-run before any +# novel cases are generated. +# +# It is recommended to check this file in to source control so that +# everyone who runs the test benefits from these saved cases. +cc 25c9d46027af5640b9cce25c1970d5378de64752dd1c9520f5757251db333d27 # shrinks to pool = [AssetReserve { amount: 368323000000, decimals: 6 }, AssetReserve { amount: 380987625000000, decimals: 6 }, AssetReserve { amount: 488969232000000, decimals: 6 }, AssetReserve { amount: 12656000000, decimals: 6 }], amount = 241, amp = 6682, (idx_in, idx_out) = (1, 3) From 0c846f6bbeaa289dd2a3e5faefadf0bd231c24bb Mon Sep 17 00:00:00 2001 From: mrq Date: Fri, 13 Sep 2024 13:13:20 +0200 Subject: [PATCH 2/9] another stableswap invariant case --- math/proptest-regressions/stableswap/tests/invariants.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/math/proptest-regressions/stableswap/tests/invariants.txt b/math/proptest-regressions/stableswap/tests/invariants.txt index a65f70fb0f..c549ee8a72 100644 --- a/math/proptest-regressions/stableswap/tests/invariants.txt +++ b/math/proptest-regressions/stableswap/tests/invariants.txt @@ -5,3 +5,4 @@ # It is recommended to check this file in to source control so that # everyone who runs the test benefits from these saved cases. cc 25c9d46027af5640b9cce25c1970d5378de64752dd1c9520f5757251db333d27 # shrinks to pool = [AssetReserve { amount: 368323000000, decimals: 6 }, AssetReserve { amount: 380987625000000, decimals: 6 }, AssetReserve { amount: 488969232000000, decimals: 6 }, AssetReserve { amount: 12656000000, decimals: 6 }], amount = 241, amp = 6682, (idx_in, idx_out) = (1, 3) +cc b8acd18b42aad7c2bf2fb1869de4f133a49e05a5fd165865f781cadd006488c9 From 0167fadd7479ab01208ccbdbc35c65ef4638251e Mon Sep 17 00:00:00 2001 From: mrq1911 <2580779+mrq1911@users.noreply.github.com> Date: Wed, 13 Nov 2024 18:02:37 +0100 Subject: [PATCH 3/9] another one --- math/proptest-regressions/stableswap/tests/invariants.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/math/proptest-regressions/stableswap/tests/invariants.txt b/math/proptest-regressions/stableswap/tests/invariants.txt index c549ee8a72..0ff136d244 100644 --- a/math/proptest-regressions/stableswap/tests/invariants.txt +++ b/math/proptest-regressions/stableswap/tests/invariants.txt @@ -6,3 +6,4 @@ # everyone who runs the test benefits from these saved cases. cc 25c9d46027af5640b9cce25c1970d5378de64752dd1c9520f5757251db333d27 # shrinks to pool = [AssetReserve { amount: 368323000000, decimals: 6 }, AssetReserve { amount: 380987625000000, decimals: 6 }, AssetReserve { amount: 488969232000000, decimals: 6 }, AssetReserve { amount: 12656000000, decimals: 6 }], amount = 241, amp = 6682, (idx_in, idx_out) = (1, 3) cc b8acd18b42aad7c2bf2fb1869de4f133a49e05a5fd165865f781cadd006488c9 +cc b8ffdc09a03ed41698bc59c46d68585ee05e238c14fd8d53d3b7fb0cedfabe3b From 73a3ac32f101630605e7c214adc0aff7522b6a2d Mon Sep 17 00:00:00 2001 From: mrq1911 <2580779+mrq1911@users.noreply.github.com> Date: Tue, 17 Dec 2024 01:40:36 +0100 Subject: [PATCH 4/9] another 1 --- math/proptest-regressions/stableswap/tests/invariants.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/math/proptest-regressions/stableswap/tests/invariants.txt b/math/proptest-regressions/stableswap/tests/invariants.txt index 0ff136d244..99b653b71d 100644 --- a/math/proptest-regressions/stableswap/tests/invariants.txt +++ b/math/proptest-regressions/stableswap/tests/invariants.txt @@ -7,3 +7,4 @@ cc 25c9d46027af5640b9cce25c1970d5378de64752dd1c9520f5757251db333d27 # shrinks to pool = [AssetReserve { amount: 368323000000, decimals: 6 }, AssetReserve { amount: 380987625000000, decimals: 6 }, AssetReserve { amount: 488969232000000, decimals: 6 }, AssetReserve { amount: 12656000000, decimals: 6 }], amount = 241, amp = 6682, (idx_in, idx_out) = (1, 3) cc b8acd18b42aad7c2bf2fb1869de4f133a49e05a5fd165865f781cadd006488c9 cc b8ffdc09a03ed41698bc59c46d68585ee05e238c14fd8d53d3b7fb0cedfabe3b +cc 3b86f211644d954ca6a8212758cd01d579c3b1d0cfe5cc615ff25726df7d1fb0 From f6ee5c58cf30fff42371b9be96ae8660052b35f3 Mon Sep 17 00:00:00 2001 From: mrq1911 <2580779+mrq1911@users.noreply.github.com> Date: Mon, 5 May 2025 19:20:19 +0200 Subject: [PATCH 5/9] another 1 --- math/proptest-regressions/stableswap/tests/invariants.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/math/proptest-regressions/stableswap/tests/invariants.txt b/math/proptest-regressions/stableswap/tests/invariants.txt index 99b653b71d..53b9c55cdf 100644 --- a/math/proptest-regressions/stableswap/tests/invariants.txt +++ b/math/proptest-regressions/stableswap/tests/invariants.txt @@ -8,3 +8,4 @@ cc 25c9d46027af5640b9cce25c1970d5378de64752dd1c9520f5757251db333d27 # shrinks to cc b8acd18b42aad7c2bf2fb1869de4f133a49e05a5fd165865f781cadd006488c9 cc b8ffdc09a03ed41698bc59c46d68585ee05e238c14fd8d53d3b7fb0cedfabe3b cc 3b86f211644d954ca6a8212758cd01d579c3b1d0cfe5cc615ff25726df7d1fb0 +cc 63a30c69dc9a73f7cfc9c21fc4cc75e88026f721c3fa9b2b8eaa514e988e2649 From 37eae2cb3960acf5b3a5dbf5af31530e9eeb020e Mon Sep 17 00:00:00 2001 From: martinfridrich Date: Fri, 11 Jul 2025 13:38:31 +0200 Subject: [PATCH 6/9] stableswap-invariants: add failing case from CI --- pallets/stableswap/proptest-regressions/tests/invariants.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/pallets/stableswap/proptest-regressions/tests/invariants.txt b/pallets/stableswap/proptest-regressions/tests/invariants.txt index 38e4dc1826..64b4572b9f 100644 --- a/pallets/stableswap/proptest-regressions/tests/invariants.txt +++ b/pallets/stableswap/proptest-regressions/tests/invariants.txt @@ -1 +1,2 @@ cc 5f78856750028eda0c4274967a6c8f5efbd12733a1c56e1bc21f5614207b3d50 +cc 28f84620990c9c6eda54aedaadd468b48c1c59b7bf764fa34e0a996bb2e46734 From 260319c4444b3d6f9ca63a0bffff20b2f7f4c9f7 Mon Sep 17 00:00:00 2001 From: martinfridrich Date: Mon, 14 Jul 2025 16:44:02 +0200 Subject: [PATCH 7/9] stableswap-invariants: add failing case from CI --- pallets/stableswap/proptest-regressions/tests/invariants.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/pallets/stableswap/proptest-regressions/tests/invariants.txt b/pallets/stableswap/proptest-regressions/tests/invariants.txt index 64b4572b9f..a60651340a 100644 --- a/pallets/stableswap/proptest-regressions/tests/invariants.txt +++ b/pallets/stableswap/proptest-regressions/tests/invariants.txt @@ -1,2 +1,3 @@ cc 5f78856750028eda0c4274967a6c8f5efbd12733a1c56e1bc21f5614207b3d50 cc 28f84620990c9c6eda54aedaadd468b48c1c59b7bf764fa34e0a996bb2e46734 +cc c20811236902f97594d03d6c38aa2f0b3df8e4648dc8e1188143974c8288c70a From 52a3c5c09c9cfe3149b83c2093bdca93afe85143 Mon Sep 17 00:00:00 2001 From: Martin Hloska Date: Fri, 8 Aug 2025 11:27:22 +0200 Subject: [PATCH 8/9] add failiing test --- pallets/stableswap/proptest-regressions/tests/invariants.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/pallets/stableswap/proptest-regressions/tests/invariants.txt b/pallets/stableswap/proptest-regressions/tests/invariants.txt index a60651340a..181bbc0968 100644 --- a/pallets/stableswap/proptest-regressions/tests/invariants.txt +++ b/pallets/stableswap/proptest-regressions/tests/invariants.txt @@ -1,3 +1,4 @@ cc 5f78856750028eda0c4274967a6c8f5efbd12733a1c56e1bc21f5614207b3d50 cc 28f84620990c9c6eda54aedaadd468b48c1c59b7bf764fa34e0a996bb2e46734 cc c20811236902f97594d03d6c38aa2f0b3df8e4648dc8e1188143974c8288c70a +cc 2ed2487f9d3cb538542c5708d1ba6aac65652cc3f528146b55e2c75ac0ffc496 From d42b4d4a454cd757f80f91271366e572475f8a65 Mon Sep 17 00:00:00 2001 From: mrq1911 <2580779+mrq1911@users.noreply.github.com> Date: Thu, 16 Oct 2025 22:11:16 +0200 Subject: [PATCH 9/9] weird one --- pallets/stableswap/proptest-regressions/tests/invariants.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/pallets/stableswap/proptest-regressions/tests/invariants.txt b/pallets/stableswap/proptest-regressions/tests/invariants.txt index 181bbc0968..b65bbd177e 100644 --- a/pallets/stableswap/proptest-regressions/tests/invariants.txt +++ b/pallets/stableswap/proptest-regressions/tests/invariants.txt @@ -2,3 +2,4 @@ cc 5f78856750028eda0c4274967a6c8f5efbd12733a1c56e1bc21f5614207b3d50 cc 28f84620990c9c6eda54aedaadd468b48c1c59b7bf764fa34e0a996bb2e46734 cc c20811236902f97594d03d6c38aa2f0b3df8e4648dc8e1188143974c8288c70a cc 2ed2487f9d3cb538542c5708d1ba6aac65652cc3f528146b55e2c75ac0ffc496 +cc 27b82abda5ad33d86dfb6ed6fd858266df32fb61d7056310a538c92fbbebb17f