Update tests

runtimeverification · Jun 18, 2024 · 6e35d52 · 6e35d52
1 parent 7cb83cc
commit 6e35d52
Show file tree

Hide file tree

Showing 8 changed files with 8 additions and 8 deletions.
diff --git a/kmxwasm/src/tests/integration/data/test_add_liquidity-spec.json b/kmxwasm/src/tests/integration/data/test_add_liquidity-spec.json
diff --git a/kmxwasm/src/tests/integration/data/test_all_tokens_claimed-spec.json b/kmxwasm/src/tests/integration/data/test_all_tokens_claimed-spec.json
diff --git a/kmxwasm/src/tests/integration/data/test_call_add-spec.json b/kmxwasm/src/tests/integration/data/test_call_add-spec.json
diff --git a/kmxwasm/src/tests/integration/data/test_call_add_twice-spec.json b/kmxwasm/src/tests/integration/data/test_call_add_twice-spec.json
diff --git a/kmxwasm/src/tests/integration/data/test_change_quorum-spec.json b/kmxwasm/src/tests/integration/data/test_change_quorum-spec.json
diff --git a/kmxwasm/src/tests/integration/data/test_exchange_k-spec.json b/kmxwasm/src/tests/integration/data/test_exchange_k-spec.json
diff --git a/kmxwasm/src/tests/integration/data/test_fund-spec.json b/kmxwasm/src/tests/integration/data/test_fund-spec.json
diff --git a/kmxwasm/src/tests/integration/data/test_swap-spec.json b/kmxwasm/src/tests/integration/data/test_swap-spec.json