fix output

.github/scripts/strategy-matrix/generate.py

@@ -32,10 +32,13 @@ We will further set additional CMake arguments as follows:
 """
 
 
-def generate_strategy_matrix(all: bool, config: Config) -> list:
+def generate_strategy_matrix(all: bool, config: Config, distro: str = "") -> list:
     configurations = []
+    os_entries = config.os
+    if distro:
+        os_entries = [o for o in os_entries if o["distro_name"] == distro]
     for architecture, os, build_type, cmake_args in itertools.product(
-        config.architecture, config.os, config.build_type, config.cmake_args
+        config.architecture, os_entries, config.build_type, config.cmake_args
     ):
         # The default CMake target is 'all' for Linux and MacOS and 'install'
         # for Windows, but it can get overridden for certain configurations.
@@ -223,7 +226,7 @@ def generate_strategy_matrix(all: bool, config: Config) -> list:
         if (n := os["compiler_version"]) != "":
             config_name += f"-{n}"
         config_name += (
-            f"-{architecture['platform'][architecture['platform'].find('/')+1:]}"
+            f"-{architecture['platform'][architecture['platform'].find('/') + 1 :]}"
         )
         config_name += f"-{build_type.lower()}"
         if "-Dcoverage=ON" in cmake_args:
@@ -313,21 +316,32 @@ if __name__ == "__main__":
         required=False,
         type=Path,
     )
+    parser.add_argument(
+        "-d",
+        "--distro",
+        help="Filter OS entries to only include those with this distro_name (e.g. 'debian', 'rhel', 'ubuntu').",
+        required=False,
+        type=str,
+        default="",
+    )
     args = parser.parse_args()
 
     matrix = []
     if args.config is None or args.config == "":
         matrix += generate_strategy_matrix(
-            args.all, read_config(THIS_DIR / "linux.json")
+            args.all, read_config(THIS_DIR / "linux.json"), args.distro
         )
         matrix += generate_strategy_matrix(
-            args.all, read_config(THIS_DIR / "macos.json")
+            args.all, read_config(THIS_DIR / "macos.json"), args.distro
         )
         matrix += generate_strategy_matrix(
-            args.all, read_config(THIS_DIR / "windows.json")
+            args.all, read_config(THIS_DIR / "windows.json"), args.distro
         )
     else:
-        matrix += generate_strategy_matrix(args.all, read_config(args.config))
+        matrix += generate_strategy_matrix(
+            args.all, read_config(args.config), args.distro
+        )
 
     # Generate the strategy matrix.
     print(f"matrix={json.dumps({'include': matrix})}")
+    # print(json.dumps(matrix, indent=2))

.github/workflows/on-pr.yml

@@ -128,12 +128,23 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [linux, macos, windows]
+        include:
+          - os: linux
+            distro: debian
+          - os: linux
+            distro: rhel
+          - os: linux
+            distro: ubuntu
+          - os: macos
+            distro: ""
+          - os: windows
+            distro: ""
     with:
       # Enable ccache only for events targeting the XRPLF repository, since
       # other accounts will not have access to our remote cache storage.
       ccache_enabled: ${{ github.repository_owner == 'XRPLF' }}
       os: ${{ matrix.os }}
+      distro: ${{ matrix.distro }}
     secrets:
       CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
 

.github/workflows/on-trigger.yml

@@ -77,7 +77,17 @@ jobs:
     strategy:
       fail-fast: ${{ github.event_name == 'merge_group' }}
       matrix:
-        os: [linux, macos, windows]
+        include:
+          - os: linux
+            distro: debian
+          - os: linux
+            distro: rhel
+          - os: linux
+            distro: ubuntu
+          - os: macos
+            distro: ""
+          - os: windows
+            distro: ""
     with:
       # Enable ccache only for events targeting the XRPLF repository, since
       # other accounts will not have access to our remote cache storage.
@@ -86,6 +96,7 @@ jobs:
       # not identical to a regular compilation.
       ccache_enabled: ${{ github.repository_owner == 'XRPLF' && !startsWith(github.ref, 'refs/heads/release') }}
       os: ${{ matrix.os }}
+      distro: ${{ matrix.distro }}
       strategy_matrix: ${{ github.event_name == 'schedule' && 'all' || 'minimal' }}
     secrets:
       CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}

.github/workflows/reusable-build-test.yml

@@ -26,6 +26,12 @@ on:
         type: string
         default: "minimal"
 
+      distro:
+        description: 'Filter to only include configs for this distro (e.g. "debian", "rhel", "ubuntu"). Leave empty for no filtering.'
+        required: false
+        type: string
+        default: ""
+
     secrets:
       CODECOV_TOKEN:
         description: "The Codecov token to use for uploading coverage reports."
@@ -38,9 +44,11 @@ jobs:
     with:
       os: ${{ inputs.os }}
       strategy_matrix: ${{ inputs.strategy_matrix }}
+      distro: ${{ inputs.distro }}
 
   # Build and test the binary for each configuration.
   build-test-config:
+    name: ${{ matrix.config_name }}
     needs:
       - generate-matrix
     uses: ./.github/workflows/reusable-build-test-config.yml

.github/workflows/reusable-strategy-matrix.yml

@@ -13,6 +13,11 @@ on:
         required: false
         type: string
         default: "minimal"
+      distro:
+        description: 'Filter to only include configs for this distro (e.g. "debian", "rhel", "ubuntu"). Leave empty for no filtering.'
+        required: false
+        type: string
+        default: ""
     outputs:
       matrix:
         description: "The generated strategy matrix."
@@ -42,4 +47,5 @@ jobs:
         env:
           GENERATE_CONFIG: ${{ inputs.os != '' && format('--config={0}.json', inputs.os) || '' }}
           GENERATE_OPTION: ${{ inputs.strategy_matrix == 'all' && '--all' || '' }}
-        run: ./generate.py ${GENERATE_OPTION} ${GENERATE_CONFIG} >> "${GITHUB_OUTPUT}"
+          GENERATE_DISTRO: ${{ inputs.distro != '' && format('--distro={0}', inputs.distro) || '' }}
+        run: ./generate.py ${GENERATE_OPTION} ${GENERATE_CONFIG} ${GENERATE_DISTRO} >> "${GITHUB_OUTPUT}"

CMakeLists.txt

@@ -106,7 +106,6 @@ find_package(OpenSSL REQUIRED)
 find_package(secp256k1 REQUIRED)
 find_package(SOCI REQUIRED)
 find_package(SQLite3 REQUIRED)
-find_package(wasmi REQUIRED)
 find_package(xxHash REQUIRED)
 
 target_link_libraries(

cfg/xrpld-example.cfg

@@ -1272,39 +1272,6 @@
 #       Example:
 #           owner_reserve = 2000000      # 2 XRP
 #
-#   extension_compute_limit = <gas>
-#
-#       The extension compute limit is the maximum amount of gas that can be
-#       consumed by a single transaction. The gas limit is used to prevent
-#       transactions from consuming too many resources.
-#
-#       If this parameter is unspecified, xrpld will use an internal
-#       default. Don't change this without understanding the consequences.
-#
-#       Example:
-#           extension_compute_limit = 1000000      # 1 million gas
-#
-#   extension_size_limit = <bytes>
-#
-#       The extension size limit is the maximum size of a WASM extension in
-#       bytes. The size limit is used to prevent extensions from consuming
-#       too many resources.
-#
-#       If this parameter is unspecified, xrpld will use an internal
-#       default. Don't change this without understanding the consequences.
-#
-#       Example:
-#           extension_size_limit = 100000      # 100 kb
-#
-#   gas_price = <bytes>
-#
-#       The gas price is the conversion between WASM gas and its price in drops.
-#
-#       If this parameter is unspecified, xrpld will use an internal
-#       default. Don't change this without understanding the consequences.
-#
-#       Example:
-#           gas_price = 1000000      # 1 drop per gas
 #-------------------------------------------------------------------------------
 #
 # 9. Misc Settings

cmake/XrplCore.cmake

@@ -47,7 +47,6 @@ target_link_libraries(
               Xrpl::opts
               Xrpl::syslibs
               secp256k1::secp256k1
-              wasmi::wasmi
               xrpl.libpb
               xxHash::xxhash
               $<$<BOOL:${voidstar}>:antithesis-sdk-cpp>)

conan.lock

@@ -3,7 +3,6 @@
     "requires": [
         "zlib/1.3.1#b8bc2603263cf7eccbd6e17e66b0ed76%1765850150.075",
         "xxhash/0.8.3#681d36a0a6111fc56e5e45ea182c19cc%1765850149.987",
-        "wasmi/1.0.6#407c9db14601a8af1c7dd3b388f3e4cd%1768164779.349",
         "sqlite3/3.49.1#8631739a4c9b93bd3d6b753bac548a63%1765850149.926",
         "soci/4.0.3#a9f8d773cd33e356b5879a4b0564f287%1765850149.46",
         "snappy/1.1.10#968fef506ff261592ec30c574d4a7809%1765850147.878",

conanfile.py

@@ -35,7 +35,6 @@ class Xrpl(ConanFile):
         "openssl/3.5.5",
         "secp256k1/0.7.1",
         "soci/4.0.3",
-        "wasmi/1.0.6",
         "zlib/1.3.1",
     ]
 
@@ -216,7 +215,6 @@ class Xrpl(ConanFile):
             "soci::soci",
             "secp256k1::secp256k1",
             "sqlite3::sqlite",
-            "wasmi::wasmi",
             "xxhash::xxhash",
             "zlib::zlib",
         ]

cspell.config.yaml

@@ -7,8 +7,6 @@ ignorePaths:
   - cmake/**
   - LICENSE.md
   - .clang-tidy
-  - src/test/app/wasm_fixtures/**/*.wat
-  - src/test/app/wasm_fixtures/*.c
 language: en
 allowCompoundWords: true # TODO (#6334)
 ignoreRandomStrings: true
@@ -62,7 +60,6 @@ words:
   - Britto
   - Btrfs
   - canonicality
-  - cdylib
   - changespq
   - checkme
   - choco
@@ -294,7 +291,6 @@ words:
   - venv
   - vfalco
   - vinnie
-  - wasmi
   - wextra
   - wptr
   - writeme

include/xrpl/basics/Number.h

@@ -729,10 +729,6 @@ abs(Number x) noexcept
 Number
 power(Number const& f, unsigned n);
 
-// logarithm with base 10
-Number
-log10(Number const& value, int iterations = 50);
-
 // Returns f^(1/d)
 // Uses Newton–Raphson iterations until the result stops changing
 // to find the root of the polynomial g(x) = x^d - f

include/xrpl/protocol/Fees.h

@@ -4,8 +4,6 @@
 
 namespace xrpl {
 
-constexpr std::uint32_t MICRO_DROPS_PER_DROP{1'000'000};
-
 /** Reflects the fee settings for a particular ledger.
 
     The fees are always the same for any transactions applied
@@ -13,12 +11,9 @@ constexpr std::uint32_t MICRO_DROPS_PER_DROP{1'000'000};
 */
 struct Fees
 {
-    XRPAmount base{0};                       // Reference tx cost (drops)
-    XRPAmount reserve{0};                    // Reserve base (drops)
-    XRPAmount increment{0};                  // Reserve increment (drops)
-    std::uint32_t extensionComputeLimit{0};  // Extension compute limit (instructions)
-    std::uint32_t extensionSizeLimit{0};     // Extension size limit (bytes)
-    std::uint32_t gasPrice{0};               // price of WASM gas (micro-drops)
+    XRPAmount base{0};       // Reference tx cost (drops)
+    XRPAmount reserve{0};    // Reserve base (drops)
+    XRPAmount increment{0};  // Reserve increment (drops)
 
     explicit Fees() = default;
     Fees(Fees const&) = default;

include/xrpl/protocol/Protocol.h

@@ -251,13 +251,6 @@ std::uint8_t constexpr vaultMaximumIOUScale = 18;
  * another vault; counted from 0 */
 std::uint8_t constexpr maxAssetCheckDepth = 5;
 
-/** The maximum length of a Data field in Escrow object that can be updated by
- * Wasm code */
-std::size_t constexpr maxWasmDataLength = 4 * 1024;
-
-/** The maximum length of a parameters passed from Wasm code*/
-std::size_t constexpr maxWasmParamLength = 1024;
-
 /** A ledger index. */
 using LedgerIndex = std::uint32_t;
 

include/xrpl/protocol/TER.h

@@ -121,8 +121,6 @@ enum TEMcodes : TERUnderlyingType {
     temARRAY_TOO_LARGE,
     temBAD_TRANSFER_FEE,
     temINVALID_INNER_BATCH,
-
-    temBAD_WASM,
 };
 
 //------------------------------------------------------------------------------

include/xrpl/protocol/detail/features.macro

@@ -16,8 +16,7 @@
 // Add new amendments to the top of this list.
 // Keep it sorted in reverse chronological order.
 
-XRPL_FEATURE(SmartEscrow,                Supported::no,  VoteBehavior::DefaultNo)
-XRPL_FIX    (PermissionedDomainInvariant, Supported::yes, VoteBehavior::DefaultNo)
+XRPL_FIX   (PermissionedDomainInvariant, Supported::yes, VoteBehavior::DefaultNo)
 XRPL_FIX    (ExpiredNFTokenOfferRemoval, Supported::yes, VoteBehavior::DefaultNo)
 XRPL_FIX    (BatchInnerSigs,             Supported::no, VoteBehavior::DefaultNo)
 XRPL_FEATURE(LendingProtocol,            Supported::yes, VoteBehavior::DefaultNo)
@@ -34,8 +33,9 @@ XRPL_FIX    (EnforceNFTokenTrustlineV2,  Supported::yes, VoteBehavior::DefaultNo
 XRPL_FIX    (AMMv1_3,                    Supported::yes, VoteBehavior::DefaultNo)
 XRPL_FEATURE(PermissionedDEX,            Supported::yes, VoteBehavior::DefaultNo)
 XRPL_FEATURE(Batch,                      Supported::no,  VoteBehavior::DefaultNo)
-XRPL_FEATURE(SingleAssetVault,           Supported::yes, VoteBehavior::DefaultNo)
+XRPL_FEATURE(SingleAssetVault,           Supported::yes,  VoteBehavior::DefaultNo)
 XRPL_FIX    (PayChanCancelAfter,         Supported::yes, VoteBehavior::DefaultNo)
+// Check flags in Credential transactions
 XRPL_FIX    (InvalidTxFlags,             Supported::yes, VoteBehavior::DefaultNo)
 XRPL_FIX    (FrozenLPTokenTransfer,      Supported::yes, VoteBehavior::DefaultNo)
 XRPL_FEATURE(DeepFreeze,                 Supported::yes, VoteBehavior::DefaultNo)

include/xrpl/protocol/detail/ledger_entries.macro

@@ -302,11 +302,6 @@ LEDGER_ENTRY(ltFEE_SETTINGS, 0x0073, FeeSettings, fee, ({
     {sfBaseFeeDrops,           soeOPTIONAL},
     {sfReserveBaseDrops,       soeOPTIONAL},
     {sfReserveIncrementDrops,  soeOPTIONAL},
-    // Smart Escrow fields
-    {sfExtensionComputeLimit,  soeOPTIONAL},
-    {sfExtensionSizeLimit,     soeOPTIONAL},
-    {sfGasPrice,               soeOPTIONAL},
-
     {sfPreviousTxnID,          soeOPTIONAL},
     {sfPreviousTxnLgrSeq,      soeOPTIONAL},
 }))
@@ -583,7 +578,7 @@ LEDGER_ENTRY(ltLOAN, 0x0089, Loan, loan, ({
     //   The unrounded true total value of the loan.
     //
     // - TrueTotalPrincipalOutstanding can be computed using the algorithm
-    //   in the xrpl::detail::loanPrincipalFromPeriodicPayment function.
+    //   in the ripple::detail::loanPrincipalFromPeriodicPayment function.
     //
     // - TrueTotalInterestOutstanding = TrueTotalLoanValue -
     //      TrueTotalPrincipalOutstanding

include/xrpl/protocol/detail/sfields.macro

@@ -114,9 +114,6 @@ TYPED_SFIELD(sfInterestRate,             UINT32,    65) // 1/10 basis points (bi
 TYPED_SFIELD(sfLateInterestRate,         UINT32,    66) // 1/10 basis points (bips)
 TYPED_SFIELD(sfCloseInterestRate,        UINT32,    67) // 1/10 basis points (bips)
 TYPED_SFIELD(sfOverpaymentInterestRate,  UINT32,    68) // 1/10 basis points (bips)
-TYPED_SFIELD(sfExtensionComputeLimit,    UINT32,    69)
-TYPED_SFIELD(sfExtensionSizeLimit,       UINT32,    70)
-TYPED_SFIELD(sfGasPrice,                 UINT32,    71)
 
 // 64-bit integers (common)
 TYPED_SFIELD(sfIndexNext,                UINT64,     1)

include/xrpl/protocol/detail/transactions.macro

@@ -1092,10 +1092,6 @@ TRANSACTION(ttFEE, 101, SetFee,
     {sfBaseFeeDrops, soeOPTIONAL},
     {sfReserveBaseDrops, soeOPTIONAL},
     {sfReserveIncrementDrops, soeOPTIONAL},
-    // Smart Escrow fields
-    {sfExtensionComputeLimit, soeOPTIONAL},
-    {sfExtensionSizeLimit, soeOPTIONAL},
-    {sfGasPrice, soeOPTIONAL},
 }))
 
 /** This system-generated transaction type is used to update the network's negative UNL

include/xrpl/protocol/jss.h

@@ -254,9 +254,6 @@ JSS(expected_date_UTC);       // out: any (warnings)
 JSS(expected_ledger_size);    // out: TxQ
 JSS(expiration);              // out: AccountOffers, AccountChannels,
                               //      ValidatorList, amm_info
-JSS(extension_compute);       // out: NetworkOps
-JSS(extension_size);          // out: NetworkOps
-JSS(gas_price);               // out: NetworkOps
 JSS(fail_hard);               // in: Sign, Submit
 JSS(failed);                  // out: InboundLedger
 JSS(feature);                 // in: Feature
@@ -711,11 +708,11 @@ JSS(write_load);              // out: GetCounts
 #pragma push_macro("LEDGER_ENTRY_DUPLICATE")
 #undef LEDGER_ENTRY_DUPLICATE
 
-#define LEDGER_ENTRY(tag, value, name, rpcName, fields) \
-    JSS(name);                                          \
+#define LEDGER_ENTRY(tag, value, name, rpcName, ...) \
+    JSS(name);                                       \
     JSS(rpcName);
 
-#define LEDGER_ENTRY_DUPLICATE(tag, value, name, rpcName, fields) JSS(rpcName);
+#define LEDGER_ENTRY_DUPLICATE(tag, value, name, rpcName, ...) JSS(rpcName);
 
 #include <xrpl/protocol/detail/ledger_entries.macro>
 

src/libxrpl/basics/Number.cpp

@@ -943,73 +943,6 @@ power(Number const& f, unsigned n)
     return r;
 }
 
-// Series expansion method approximation of ln(x)
-static Number
-ln(Number const& x, int iterations = 50)
-{
-    static Number const N0(0);
-    static Number const N2(2, 0);
-    static Number const N05(5, -1);
-    static Number const LN2(693'147'180'559'945'309ll, -18);
-
-    if (x <= 0)
-        throw std::runtime_error("Not a positive value");
-    else if (x == 1)
-        return N0;
-
-    int exponent = 0;
-    Number mantissa = x;
-
-    while (mantissa >= N2)
-    {
-        mantissa /= 2;
-        exponent += 1;
-    }
-    while (mantissa < N05)
-    {
-        mantissa *= 2;
-        exponent -= 1;
-    }
-
-    Number z = (mantissa - 1) / (mantissa + 1);
-    Number const zz = z * z;
-    Number sum;
-
-    for (int i = 1; i <= iterations; ++i)
-    {
-        sum = sum + z / (2 * i - 1);
-        z = z * zz;
-    }
-
-    return 2 * sum + exponent * LN2;
-}
-
-Number
-log10(Number const& x, int iterations)
-{
-    static Number const N0(0);
-    static Number const LN10(2'302'585'092'994'046ll, -15);
-
-    if (x <= 0)
-        throw std::runtime_error("Not a positive value");
-    else if (x == 1)
-        return N0;
-
-    if (x <= Number(10))
-    {
-        auto const r = ln(x, iterations) / LN10;
-        return r;
-    }
-
-    // (1 <= normalX < 10)
-    // ln(x) = ln(normalX * 10^norm) = ln(normalX) + norm * ln(10)
-    int diffExp = 15 + x.exponent();
-    Number const normalX = x / Number(1, diffExp);
-    auto const lnX = ln(normalX, iterations) + diffExp * LN10;
-    auto const lgX = lnX / LN10;
-    return lgX;
-}
-
 // Returns f^(1/d)
 // Uses Newton–Raphson iterations until the result stops changing
 // to find the non-negative root of the polynomial g(x) = x^d - f

src/libxrpl/protocol/STValidation.cpp

@@ -58,10 +58,6 @@ STValidation::validationFormat()
         {sfBaseFeeDrops,          soeOPTIONAL},
         {sfReserveBaseDrops,      soeOPTIONAL},
         {sfReserveIncrementDrops, soeOPTIONAL},
-        // featureSmartEscrow
-        {sfExtensionComputeLimit,  soeOPTIONAL},
-        {sfExtensionSizeLimit,     soeOPTIONAL},
-        {sfGasPrice,               soeOPTIONAL},
     };
     // clang-format on
 

src/libxrpl/protocol/TER.cpp

@@ -198,7 +198,6 @@ transResults()
         MAKE_ERROR(temARRAY_TOO_LARGE,           "Malformed: Array is too large."),
         MAKE_ERROR(temBAD_TRANSFER_FEE,          "Malformed: Transfer fee is outside valid range."),
         MAKE_ERROR(temINVALID_INNER_BATCH,       "Malformed: Invalid inner batch transaction."),
-        MAKE_ERROR(temBAD_WASM,                  "Malformed: Provided WASM code is invalid."),
 
         MAKE_ERROR(terRETRY,                  "Retry transaction."),
         MAKE_ERROR(terFUNDS_SPENT,            "DEPRECATED."),

src/libxrpl/tx/transactors/Change.cpp

@@ -105,20 +105,6 @@ Change::preclaim(PreclaimContext const& ctx)
                     ctx.tx.isFieldPresent(sfReserveIncrementDrops))
                     return temDISABLED;
             }
-            if (ctx.view.rules().enabled(featureSmartEscrow))
-            {
-                if (!ctx.tx.isFieldPresent(sfExtensionComputeLimit) ||
-                    !ctx.tx.isFieldPresent(sfExtensionSizeLimit) ||
-                    !ctx.tx.isFieldPresent(sfGasPrice))
-                    return temMALFORMED;
-            }
-            else
-            {
-                if (ctx.tx.isFieldPresent(sfExtensionComputeLimit) ||
-                    ctx.tx.isFieldPresent(sfExtensionSizeLimit) ||
-                    ctx.tx.isFieldPresent(sfGasPrice))
-                    return temDISABLED;
-            }
             return tesSUCCESS;
         case ttAMENDMENT:
         case ttUNL_MODIFY:
@@ -278,12 +264,6 @@ Change::applyFee()
         set(feeObject, ctx_.tx, sfReserveBase);
         set(feeObject, ctx_.tx, sfReserveIncrement);
     }
-    if (view().rules().enabled(featureSmartEscrow))
-    {
-        set(feeObject, ctx_.tx, sfExtensionComputeLimit);
-        set(feeObject, ctx_.tx, sfExtensionSizeLimit);
-        set(feeObject, ctx_.tx, sfGasPrice);
-    }
 
     view().update(feeObject);
 

src/test/app/FeeVote_test.cpp

@@ -12,8 +12,6 @@
 #include <xrpl/protocol/SecretKey.h>
 #include <xrpl/tx/apply.h>
 
-#include <source_location>
-
 namespace xrpl {
 namespace test {
 
@@ -26,17 +24,10 @@ struct FeeSettingsFields
     std::optional<XRPAmount> baseFeeDrops = std::nullopt;
     std::optional<XRPAmount> reserveBaseDrops = std::nullopt;
     std::optional<XRPAmount> reserveIncrementDrops = std::nullopt;
-    std::optional<std::uint32_t> extensionComputeLimit = std::nullopt;
-    std::optional<std::uint32_t> extensionSizeLimit = std::nullopt;
-    std::optional<std::uint32_t> gasPrice = std::nullopt;
 };
 
 STTx
-createFeeTx(
-    Rules const& rules,
-    std::uint32_t seq,
-    FeeSettingsFields const& fields,
-    bool forceAllFields = false)
+createFeeTx(Rules const& rules, std::uint32_t seq, FeeSettingsFields const& fields)
 {
     auto fill = [&](auto& obj) {
         obj.setAccountID(sfAccount, AccountID());
@@ -64,15 +55,6 @@ createFeeTx(
             obj.setFieldU32(
                 sfReferenceFeeUnits, fields.referenceFeeUnits ? *fields.referenceFeeUnits : 0);
         }
-        if (rules.enabled(featureSmartEscrow) || forceAllFields)
-        {
-            obj.setFieldU32(
-                sfExtensionComputeLimit,
-                fields.extensionComputeLimit ? *fields.extensionComputeLimit : 0);
-            obj.setFieldU32(
-                sfExtensionSizeLimit, fields.extensionSizeLimit ? *fields.extensionSizeLimit : 0);
-            obj.setFieldU32(sfGasPrice, fields.gasPrice ? *fields.gasPrice : 0);
-        }
     };
     return STTx(ttFEE, fill);
 }
@@ -121,12 +103,6 @@ createInvalidFeeTx(
                 obj.setFieldU32(sfReserveIncrement, 50000);
                 obj.setFieldU32(sfReferenceFeeUnits, 10);
             }
-            if (rules.enabled(featureSmartEscrow))
-            {
-                obj.setFieldU32(sfExtensionComputeLimit, 100 + uniqueValue);
-                obj.setFieldU32(sfExtensionSizeLimit, 200 + uniqueValue);
-                obj.setFieldU32(sfGasPrice, 300 + uniqueValue);
-            }
         }
         // If missingRequiredFields is true, we don't add the required fields
         // (default behavior)
@@ -134,11 +110,11 @@ createInvalidFeeTx(
     return STTx(ttFEE, fill);
 }
 
-TER
+bool
 applyFeeAndTestResult(jtx::Env& env, OpenView& view, STTx const& tx)
 {
     auto const res = apply(env.app(), view, tx, ApplyFlags::tapNONE, env.journal);
-    return res.ter;
+    return res.ter == tesSUCCESS;
 }
 
 bool
@@ -189,22 +165,6 @@ verifyFeeObject(
         if (!checkEquality(sfReferenceFeeUnits, expected.referenceFeeUnits))
             return false;
     }
-    if (rules.enabled(featureSmartEscrow))
-    {
-        if (!checkEquality(sfExtensionComputeLimit, expected.extensionComputeLimit.value_or(0)))
-            return false;
-        if (!checkEquality(sfExtensionSizeLimit, expected.extensionSizeLimit.value_or(0)))
-            return false;
-        if (!checkEquality(sfGasPrice, expected.gasPrice.value_or(0)))
-            return false;
-    }
-    else
-    {
-        if (feeObject->isFieldPresent(sfExtensionComputeLimit) ||
-            feeObject->isFieldPresent(sfExtensionSizeLimit) ||
-            feeObject->isFieldPresent(sfGasPrice))
-            return false;
-    }
 
     return true;
 }
@@ -227,7 +187,6 @@ class FeeVote_test : public beast::unit_test::suite
     void
     testSetup()
     {
-        testcase("FeeVote setup");
         FeeSetup const defaultSetup;
         {
             // defaults
@@ -236,65 +195,35 @@ class FeeVote_test : public beast::unit_test::suite
             BEAST_EXPECT(setup.reference_fee == defaultSetup.reference_fee);
             BEAST_EXPECT(setup.account_reserve == defaultSetup.account_reserve);
             BEAST_EXPECT(setup.owner_reserve == defaultSetup.owner_reserve);
-            BEAST_EXPECT(setup.extension_compute_limit == defaultSetup.extension_compute_limit);
-            BEAST_EXPECT(setup.extension_size_limit == defaultSetup.extension_size_limit);
-            BEAST_EXPECT(setup.gas_price == defaultSetup.gas_price);
         }
         {
             Section config;
             config.append(
-                {"reference_fee = 50",
-                 "account_reserve = 1234567",
-                 "owner_reserve = 1234",
-                 "extension_compute_limit = 100",
-                 "extension_size_limit = 200",
-                 " gas_price = 300"});
+                {"reference_fee = 50", "account_reserve = 1234567", "owner_reserve = 1234"});
             auto setup = setup_FeeVote(config);
             BEAST_EXPECT(setup.reference_fee == 50);
             BEAST_EXPECT(setup.account_reserve == 1234567);
             BEAST_EXPECT(setup.owner_reserve == 1234);
-            BEAST_EXPECT(setup.extension_compute_limit == 100);
-            BEAST_EXPECT(setup.extension_size_limit == 200);
-            BEAST_EXPECT(setup.gas_price == 300);
         }
         {
             Section config;
             config.append(
-                {"reference_fee = blah",
-                 "account_reserve = yada",
-                 "owner_reserve = foo",
-                 "extension_compute_limit = bar",
-                 "extension_size_limit = baz",
-                 "gas_price = qux"});
+                {"reference_fee = blah", "account_reserve = yada", "owner_reserve = foo"});
             // Illegal values are ignored, and the defaults left unchanged
             auto setup = setup_FeeVote(config);
             BEAST_EXPECT(setup.reference_fee == defaultSetup.reference_fee);
             BEAST_EXPECT(setup.account_reserve == defaultSetup.account_reserve);
             BEAST_EXPECT(setup.owner_reserve == defaultSetup.owner_reserve);
-            BEAST_EXPECT(setup.extension_compute_limit == defaultSetup.extension_compute_limit);
-            BEAST_EXPECT(setup.extension_size_limit == defaultSetup.extension_size_limit);
-            BEAST_EXPECT(setup.gas_price == defaultSetup.gas_price);
         }
         {
             Section config;
             config.append(
-                {"reference_fee = -50",
-                 "account_reserve = -1234567",
-                 "owner_reserve = -1234",
-                 "extension_compute_limit = -100",
-                 "extension_size_limit = -200",
-                 "gas_price = -300"});
-            // Negative values wrap to large positive uint32_t values.
-            // reference_fee is uint64_t and has bounds checking, so it keeps
-            // the default.
+                {"reference_fee = -50", "account_reserve = -1234567", "owner_reserve = -1234"});
             // Illegal values are ignored, and the defaults left unchanged
             auto setup = setup_FeeVote(config);
             BEAST_EXPECT(setup.reference_fee == defaultSetup.reference_fee);
             BEAST_EXPECT(setup.account_reserve == static_cast<std::uint32_t>(-1234567));
             BEAST_EXPECT(setup.owner_reserve == static_cast<std::uint32_t>(-1234));
-            BEAST_EXPECT(setup.extension_compute_limit == static_cast<std::uint32_t>(-100));
-            BEAST_EXPECT(setup.extension_size_limit == static_cast<std::uint32_t>(-200));
-            BEAST_EXPECT(setup.gas_price == static_cast<std::uint32_t>(-300));
         }
         {
             auto const big64 = std::to_string(
@@ -303,18 +232,12 @@ class FeeVote_test : public beast::unit_test::suite
             config.append(
                 {"reference_fee = " + big64,
                  "account_reserve = " + big64,
-                 "owner_reserve = " + big64,
-                 "extension_compute_limit = " + big64,
-                 "extension_size_limit = " + big64,
-                 "gas_price = " + big64});
+                 "owner_reserve = " + big64});
             // Illegal values are ignored, and the defaults left unchanged
             auto setup = setup_FeeVote(config);
             BEAST_EXPECT(setup.reference_fee == defaultSetup.reference_fee);
             BEAST_EXPECT(setup.account_reserve == defaultSetup.account_reserve);
             BEAST_EXPECT(setup.owner_reserve == defaultSetup.owner_reserve);
-            BEAST_EXPECT(setup.extension_compute_limit == defaultSetup.extension_compute_limit);
-            BEAST_EXPECT(setup.extension_size_limit == defaultSetup.extension_size_limit);
-            BEAST_EXPECT(setup.gas_price == defaultSetup.gas_price);
         }
     }
 
@@ -325,7 +248,7 @@ class FeeVote_test : public beast::unit_test::suite
 
         // Test with XRPFees disabled (legacy format)
         {
-            jtx::Env env(*this, jtx::testable_amendments() - featureXRPFees - featureSmartEscrow);
+            jtx::Env env(*this, jtx::testable_amendments() - featureXRPFees);
             auto ledger = std::make_shared<Ledger>(
                 create_genesis,
                 env.app().config(),
@@ -345,7 +268,7 @@ class FeeVote_test : public beast::unit_test::suite
             auto feeTx = createFeeTx(ledger->rules(), ledger->seq(), fields);
 
             OpenView accum(ledger.get());
-            BEAST_EXPECT(isTesSuccess(applyFeeAndTestResult(env, accum, feeTx)));
+            BEAST_EXPECT(applyFeeAndTestResult(env, accum, feeTx));
             accum.apply(*ledger);
 
             // Verify fee object was created/updated correctly
@@ -354,7 +277,7 @@ class FeeVote_test : public beast::unit_test::suite
 
         // Test with XRPFees enabled (new format)
         {
-            jtx::Env env(*this, jtx::testable_amendments() - featureSmartEscrow);
+            jtx::Env env(*this, jtx::testable_amendments() | featureXRPFees);
             auto ledger = std::make_shared<Ledger>(
                 create_genesis,
                 env.app().config(),
@@ -372,69 +295,12 @@ class FeeVote_test : public beast::unit_test::suite
             auto feeTx = createFeeTx(ledger->rules(), ledger->seq(), fields);
 
             OpenView accum(ledger.get());
-            BEAST_EXPECT(isTesSuccess(applyFeeAndTestResult(env, accum, feeTx)));
+            BEAST_EXPECT(applyFeeAndTestResult(env, accum, feeTx));
             accum.apply(*ledger);
 
             // Verify fee object was created/updated correctly
             BEAST_EXPECT(verifyFeeObject(ledger, ledger->rules(), fields));
         }
-
-        // Test with both XRPFees and SmartEscrow enabled
-        {
-            jtx::Env env(*this, jtx::testable_amendments());
-            auto ledger = std::make_shared<Ledger>(
-                create_genesis,
-                env.app().config(),
-                std::vector<uint256>{},
-                env.app().getNodeFamily());
-
-            // Create the next ledger to apply transaction to
-            ledger = std::make_shared<Ledger>(*ledger, env.app().timeKeeper().closeTime());
-
-            FeeSettingsFields fields{
-                .baseFeeDrops = XRPAmount{10},
-                .reserveBaseDrops = XRPAmount{200000},
-                .reserveIncrementDrops = XRPAmount{50000},
-                .extensionComputeLimit = 100,
-                .extensionSizeLimit = 200,
-                .gasPrice = 300};
-            // Test successful fee transaction with new fields
-            auto feeTx = createFeeTx(ledger->rules(), ledger->seq(), fields);
-
-            OpenView accum(ledger.get());
-            BEAST_EXPECT(isTesSuccess(applyFeeAndTestResult(env, accum, feeTx)));
-            accum.apply(*ledger);
-
-            // Verify fee object was created/updated correctly
-            BEAST_EXPECT(verifyFeeObject(ledger, ledger->rules(), fields));
-        }
-
-        // Test that the Smart Escrow fields are rejected if the
-        // feature is disabled
-        {
-            jtx::Env env(*this, jtx::testable_amendments() - featureSmartEscrow);
-            auto ledger = std::make_shared<Ledger>(
-                create_genesis,
-                env.app().config(),
-                std::vector<uint256>{},
-                env.app().getNodeFamily());
-
-            // Create the next ledger to apply transaction to
-            ledger = std::make_shared<Ledger>(*ledger, env.app().timeKeeper().closeTime());
-
-            FeeSettingsFields fields{
-                .baseFeeDrops = XRPAmount{10},
-                .reserveBaseDrops = XRPAmount{200000},
-                .reserveIncrementDrops = XRPAmount{50000},
-                .extensionComputeLimit = 100,
-                .extensionSizeLimit = 200,
-                .gasPrice = 300};
-            // Test successful fee transaction with new fields
-            auto feeTx = createFeeTx(ledger->rules(), ledger->seq(), fields, true);
-
-            OpenView accum(ledger.get());
-            BEAST_EXPECT(!isTesSuccess(applyFeeAndTestResult(env, accum, feeTx)));
-        }
     }
 
     void
@@ -443,7 +309,7 @@ class FeeVote_test : public beast::unit_test::suite
         testcase("Fee Transaction Validation");
 
         {
-            jtx::Env env(*this, jtx::testable_amendments() - featureXRPFees - featureSmartEscrow);
+            jtx::Env env(*this, jtx::testable_amendments() - featureXRPFees);
             auto ledger = std::make_shared<Ledger>(
                 create_genesis,
                 env.app().config(),
@@ -456,15 +322,15 @@ class FeeVote_test : public beast::unit_test::suite
             // Test transaction with missing required legacy fields
             auto invalidTx = createInvalidFeeTx(ledger->rules(), ledger->seq(), true, false, 1);
             OpenView accum(ledger.get());
-            BEAST_EXPECT(!isTesSuccess(applyFeeAndTestResult(env, accum, invalidTx)));
+            BEAST_EXPECT(!applyFeeAndTestResult(env, accum, invalidTx));
 
             // Test transaction with new format fields when XRPFees is disabled
             auto disallowedTx = createInvalidFeeTx(ledger->rules(), ledger->seq(), false, true, 2);
-            BEAST_EXPECT(!isTesSuccess(applyFeeAndTestResult(env, accum, disallowedTx)));
+            BEAST_EXPECT(!applyFeeAndTestResult(env, accum, disallowedTx));
         }
 
         {
-            jtx::Env env(*this, jtx::testable_amendments() - featureSmartEscrow);
+            jtx::Env env(*this, jtx::testable_amendments() | featureXRPFees);
             auto ledger = std::make_shared<Ledger>(
                 create_genesis,
                 env.app().config(),
@@ -477,32 +343,11 @@ class FeeVote_test : public beast::unit_test::suite
             // Test transaction with missing required new fields
             auto invalidTx = createInvalidFeeTx(ledger->rules(), ledger->seq(), true, false, 3);
             OpenView accum(ledger.get());
-            BEAST_EXPECT(!isTesSuccess(applyFeeAndTestResult(env, accum, invalidTx)));
+            BEAST_EXPECT(!applyFeeAndTestResult(env, accum, invalidTx));
 
             // Test transaction with legacy fields when XRPFees is enabled
             auto disallowedTx = createInvalidFeeTx(ledger->rules(), ledger->seq(), false, true, 4);
-            BEAST_EXPECT(!isTesSuccess(applyFeeAndTestResult(env, accum, disallowedTx)));
-        }
-
-        {
-            jtx::Env env(*this, jtx::testable_amendments() | featureXRPFees | featureSmartEscrow);
-            auto ledger = std::make_shared<Ledger>(
-                create_genesis,
-                env.app().config(),
-                std::vector<uint256>{},
-                env.app().getNodeFamily());
-
-            // Create the next ledger to apply transaction to
-            ledger = std::make_shared<Ledger>(*ledger, env.app().timeKeeper().closeTime());
-
-            // Test transaction with missing required new fields
-            auto invalidTx = createInvalidFeeTx(ledger->rules(), ledger->seq(), true, false, 5);
-            OpenView accum(ledger.get());
-            BEAST_EXPECT(!isTesSuccess(applyFeeAndTestResult(env, accum, invalidTx)));
-
-            // Test transaction with legacy fields when XRPFees is enabled
-            auto disallowedTx = createInvalidFeeTx(ledger->rules(), ledger->seq(), false, true, 6);
-            BEAST_EXPECT(!isTesSuccess(applyFeeAndTestResult(env, accum, disallowedTx)));
+            BEAST_EXPECT(!applyFeeAndTestResult(env, accum, disallowedTx));
         }
     }
 
@@ -511,7 +356,7 @@ class FeeVote_test : public beast::unit_test::suite
     {
         testcase("Pseudo Transaction Properties");
 
-        jtx::Env env(*this, jtx::testable_amendments() - featureSmartEscrow);
+        jtx::Env env(*this, jtx::testable_amendments());
         auto ledger = std::make_shared<Ledger>(
             create_genesis, env.app().config(), std::vector<uint256>{}, env.app().getNodeFamily());
 
@@ -537,7 +382,7 @@ class FeeVote_test : public beast::unit_test::suite
         // But can be applied to a closed ledger
         {
             OpenView closedAccum(ledger.get());
-            BEAST_EXPECT(isTesSuccess(applyFeeAndTestResult(env, closedAccum, feeTx)));
+            BEAST_EXPECT(applyFeeAndTestResult(env, closedAccum, feeTx));
         }
     }
 
@@ -546,7 +391,7 @@ class FeeVote_test : public beast::unit_test::suite
     {
         testcase("Multiple Fee Updates");
 
-        jtx::Env env(*this, jtx::testable_amendments() - featureSmartEscrow);
+        jtx::Env env(*this, jtx::testable_amendments() | featureXRPFees);
         auto ledger = std::make_shared<Ledger>(
             create_genesis, env.app().config(), std::vector<uint256>{}, env.app().getNodeFamily());
 
@@ -560,7 +405,7 @@ class FeeVote_test : public beast::unit_test::suite
 
         {
             OpenView accum(ledger.get());
-            BEAST_EXPECT(isTesSuccess(applyFeeAndTestResult(env, accum, feeTx1)));
+            BEAST_EXPECT(applyFeeAndTestResult(env, accum, feeTx1));
             accum.apply(*ledger);
         }
 
@@ -577,7 +422,7 @@ class FeeVote_test : public beast::unit_test::suite
 
         {
             OpenView accum(ledger.get());
-            BEAST_EXPECT(isTesSuccess(applyFeeAndTestResult(env, accum, feeTx2)));
+            BEAST_EXPECT(applyFeeAndTestResult(env, accum, feeTx2));
             accum.apply(*ledger);
         }
 
@@ -590,7 +435,7 @@ class FeeVote_test : public beast::unit_test::suite
     {
         testcase("Wrong Ledger Sequence");
 
-        jtx::Env env(*this, jtx::testable_amendments() - featureSmartEscrow);
+        jtx::Env env(*this, jtx::testable_amendments() | featureXRPFees);
         auto ledger = std::make_shared<Ledger>(
             create_genesis, env.app().config(), std::vector<uint256>{}, env.app().getNodeFamily());
 
@@ -609,7 +454,7 @@ class FeeVote_test : public beast::unit_test::suite
         // The transaction should still succeed as long as other fields are
         // valid
         // The ledger sequence field is only used for informational purposes
-        BEAST_EXPECT(isTesSuccess(applyFeeAndTestResult(env, accum, feeTx)));
+        BEAST_EXPECT(applyFeeAndTestResult(env, accum, feeTx));
     }
 
     void
@@ -617,7 +462,7 @@ class FeeVote_test : public beast::unit_test::suite
     {
         testcase("Partial Field Updates");
 
-        jtx::Env env(*this, jtx::testable_amendments() - featureSmartEscrow);
+        jtx::Env env(*this, jtx::testable_amendments() | featureXRPFees);
         auto ledger = std::make_shared<Ledger>(
             create_genesis, env.app().config(), std::vector<uint256>{}, env.app().getNodeFamily());
 
@@ -631,7 +476,7 @@ class FeeVote_test : public beast::unit_test::suite
 
         {
             OpenView accum(ledger.get());
-            BEAST_EXPECT(isTesSuccess(applyFeeAndTestResult(env, accum, feeTx1)));
+            BEAST_EXPECT(applyFeeAndTestResult(env, accum, feeTx1));
             accum.apply(*ledger);
         }
 
@@ -646,7 +491,7 @@ class FeeVote_test : public beast::unit_test::suite
 
         {
             OpenView accum(ledger.get());
-            BEAST_EXPECT(isTesSuccess(applyFeeAndTestResult(env, accum, feeTx2)));
+            BEAST_EXPECT(applyFeeAndTestResult(env, accum, feeTx2));
             accum.apply(*ledger);
         }
 
@@ -659,7 +504,7 @@ class FeeVote_test : public beast::unit_test::suite
     {
         testcase("Single Invalid Transaction");
 
-        jtx::Env env(*this, jtx::testable_amendments() - featureSmartEscrow);
+        jtx::Env env(*this, jtx::testable_amendments() | featureXRPFees);
         auto ledger = std::make_shared<Ledger>(
             create_genesis, env.app().config(), std::vector<uint256>{}, env.app().getNodeFamily());
 
@@ -677,7 +522,7 @@ class FeeVote_test : public beast::unit_test::suite
         });
 
         OpenView accum(ledger.get());
-        BEAST_EXPECT(!isTesSuccess(applyFeeAndTestResult(env, accum, invalidTx)));
+        BEAST_EXPECT(!applyFeeAndTestResult(env, accum, invalidTx));
     }
 
     void
@@ -694,7 +539,7 @@ class FeeVote_test : public beast::unit_test::suite
 
         // Test with XRPFees enabled
         {
-            Env env(*this, testable_amendments() - featureSmartEscrow);
+            Env env(*this, testable_amendments() | featureXRPFees);
             auto feeVote = make_FeeVote(setup, env.app().journal("FeeVote"));
 
             auto ledger = std::make_shared<Ledger>(
@@ -723,7 +568,7 @@ class FeeVote_test : public beast::unit_test::suite
 
         // Test with XRPFees disabled (legacy format)
         {
-            Env env(*this, testable_amendments() - featureXRPFees - featureSmartEscrow);
+            Env env(*this, testable_amendments() - featureXRPFees);
             auto feeVote = make_FeeVote(setup, env.app().journal("FeeVote"));
 
             auto ledger = std::make_shared<Ledger>(
@@ -762,7 +607,7 @@ class FeeVote_test : public beast::unit_test::suite
         setup.account_reserve = 1234567;
         setup.owner_reserve = 7654321;
 
-        Env env(*this, testable_amendments() - featureSmartEscrow);
+        Env env(*this, testable_amendments() | featureXRPFees);
 
         // establish what the current fees are
         BEAST_EXPECT(env.current()->fees().base == XRPAmount{UNIT_TEST_REFERENCE_FEE});
@@ -833,138 +678,6 @@ class FeeVote_test : public beast::unit_test::suite
             feeTx.getFieldAmount(sfReserveIncrementDrops) == XRPAmount{setup.owner_reserve});
     }
 
-    void
-    testDoVotingSmartEscrow()
-    {
-        testcase("doVoting with Smart Escrow");
-
-        using namespace jtx;
-
-        Env env(*this, testable_amendments() | featureXRPFees | featureSmartEscrow);
-
-        // establish what the current fees are
-        BEAST_EXPECT(env.current()->fees().base == XRPAmount{UNIT_TEST_REFERENCE_FEE});
-        BEAST_EXPECT(env.current()->fees().reserve == XRPAmount{200'000'000});
-        BEAST_EXPECT(env.current()->fees().increment == XRPAmount{50'000'000});
-        BEAST_EXPECT(env.current()->fees().extensionComputeLimit == 0);
-        BEAST_EXPECT(env.current()->fees().extensionSizeLimit == 0);
-        BEAST_EXPECT(env.current()->fees().gasPrice == 0);
-
-        auto const createFeeTxFromVoting =
-            [&](FeeSetup const& setup) -> std::pair<STTx, std::shared_ptr<Ledger>> {
-            auto feeVote = make_FeeVote(setup, env.app().journal("FeeVote"));
-            auto ledger = std::make_shared<Ledger>(
-                create_genesis,
-                env.app().config(),
-                std::vector<uint256>{},
-                env.app().getNodeFamily());
-
-            // doVoting requires a flag ledger (every 256th ledger)
-            // We need to create a ledger at sequence 256 to make it a flag
-            // ledger
-            for (int i = 0; i < 256 - 1; ++i)
-            {
-                ledger = std::make_shared<Ledger>(*ledger, env.app().timeKeeper().closeTime());
-            }
-            BEAST_EXPECT(ledger->isFlagLedger());
-
-            // Create some mock validations with fee votes
-            std::vector<std::shared_ptr<STValidation>> validations;
-
-            for (int i = 0; i < 5; i++)
-            {
-                auto sec = randomSecretKey();
-                auto pub = derivePublicKey(KeyType::secp256k1, sec);
-
-                auto val = std::make_shared<STValidation>(
-                    env.app().timeKeeper().now(), pub, sec, calcNodeID(pub), [&](STValidation& v) {
-                        v.setFieldU32(sfLedgerSequence, ledger->seq());
-                        // Vote for different fees than current
-                        v.setFieldAmount(sfBaseFeeDrops, XRPAmount{setup.reference_fee});
-                        v.setFieldAmount(sfReserveBaseDrops, XRPAmount{setup.account_reserve});
-                        v.setFieldAmount(sfReserveIncrementDrops, XRPAmount{setup.owner_reserve});
-                        v.setFieldU32(sfExtensionComputeLimit, setup.extension_compute_limit);
-                        v.setFieldU32(sfExtensionSizeLimit, setup.extension_size_limit);
-                        v.setFieldU32(sfGasPrice, setup.gas_price);
-                    });
-                if (i % 2)
-                    val->setTrusted();
-                validations.push_back(val);
-            }
-
-            auto txSet =
-                std::make_shared<SHAMap>(SHAMapType::TRANSACTION, env.app().getNodeFamily());
-
-            // This should not throw since we have a flag ledger
-            feeVote->doVoting(ledger, validations, txSet);
-
-            auto const txs = getTxs(txSet);
-            BEAST_EXPECT(txs.size() == 1);
-            return {txs[0], ledger};
-        };
-
-        auto checkFeeTx = [&](FeeSetup const& setup,
-                              STTx const& feeTx,
-                              std::shared_ptr<Ledger> const& ledger,
-                              std::source_location const loc = std::source_location::current()) {
-            auto const line = " (" + std::to_string(loc.line()) + ")";
-            BEAST_EXPECTS(feeTx.getTxnType() == ttFEE, line);
-
-            BEAST_EXPECTS(feeTx.getAccountID(sfAccount) == AccountID(), line);
-            BEAST_EXPECTS(feeTx.getFieldU32(sfLedgerSequence) == ledger->seq() + 1, line);
-
-            BEAST_EXPECTS(feeTx.isFieldPresent(sfBaseFeeDrops), line);
-            BEAST_EXPECTS(feeTx.isFieldPresent(sfReserveBaseDrops), line);
-            BEAST_EXPECTS(feeTx.isFieldPresent(sfReserveIncrementDrops), line);
-
-            // The legacy fields should NOT be present
-            BEAST_EXPECTS(!feeTx.isFieldPresent(sfBaseFee), line);
-            BEAST_EXPECTS(!feeTx.isFieldPresent(sfReserveBase), line);
-            BEAST_EXPECTS(!feeTx.isFieldPresent(sfReserveIncrement), line);
-            BEAST_EXPECTS(!feeTx.isFieldPresent(sfReferenceFeeUnits), line);
-
-            // Check the values
-            BEAST_EXPECTS(
-                feeTx.getFieldAmount(sfBaseFeeDrops) == XRPAmount{setup.reference_fee}, line);
-            BEAST_EXPECTS(
-                feeTx.getFieldAmount(sfReserveBaseDrops) == XRPAmount{setup.account_reserve}, line);
-            BEAST_EXPECTS(
-                feeTx.getFieldAmount(sfReserveIncrementDrops) == XRPAmount{setup.owner_reserve},
-                line);
-            BEAST_EXPECTS(
-                feeTx.getFieldU32(sfExtensionComputeLimit) == setup.extension_compute_limit, line);
-            BEAST_EXPECTS(
-                feeTx.getFieldU32(sfExtensionSizeLimit) == setup.extension_size_limit, line);
-            BEAST_EXPECTS(feeTx.getFieldU32(sfGasPrice) == setup.gas_price, line);
-        };
-
-        {
-            FeeSetup setup;
-            setup.reference_fee = 42;
-            setup.account_reserve = 1234567;
-            setup.owner_reserve = 7654321;
-            setup.extension_compute_limit = 100;
-            setup.extension_size_limit = 200;
-            setup.gas_price = 300;
-            auto const [feeTx, ledger] = createFeeTxFromVoting(setup);
-
-            checkFeeTx(setup, feeTx, ledger);
-        }
-
-        {
-            FeeSetup setup;
-            setup.reference_fee = 42;
-            setup.account_reserve = 1234567;
-            setup.owner_reserve = 7654321;
-            setup.extension_compute_limit = 0;
-            setup.extension_size_limit = 0;
-            setup.gas_price = 300;
-            auto const [feeTx, ledger] = createFeeTxFromVoting(setup);
-
-            checkFeeTx(setup, feeTx, ledger);
-        }
-    }
-
     void
     run() override
     {
@@ -978,7 +691,6 @@ class FeeVote_test : public beast::unit_test::suite
         testSingleInvalidTransaction();
         testDoValidation();
         testDoVoting();
-        testDoVotingSmartEscrow();
     }
 };
 

src/test/app/PseudoTx_test.cpp

@@ -32,12 +32,6 @@ struct PseudoTx_test : public beast::unit_test::suite
                 obj[sfReserveIncrement] = 0;
                 obj[sfReferenceFeeUnits] = 0;
             }
-            if (rules.enabled(featureSmartEscrow))
-            {
-                obj[sfExtensionComputeLimit] = 0;
-                obj[sfExtensionSizeLimit] = 0;
-                obj[sfGasPrice] = 0;
-            }
         }));
 
         res.emplace_back(STTx(ttAMENDMENT, [&](auto& obj) {
@@ -102,9 +96,7 @@ struct PseudoTx_test : public beast::unit_test::suite
         FeatureBitset const all{testable_amendments()};
         FeatureBitset const xrpFees{featureXRPFees};
 
-        testPrevented(all - featureXRPFees - featureSmartEscrow);
         testPrevented(all - featureXRPFees);
-        testPrevented(all - featureSmartEscrow);
         testPrevented(all);
         testAllowed();
     }

src/test/app/TestHostFunctions.h

@@ -1,537 +0,0 @@
-#include <test/app/wasm_fixtures/fixtures.h>
-#include <test/jtx.h>
-
-#include <xrpld/app/wasm/HostFunc.h>
-#include <xrpld/app/wasm/WasmVM.h>
-
-#include <xrpl/ledger/AmendmentTable.h>
-#include <xrpl/ledger/detail/ApplyViewBase.h>
-#include <xrpl/protocol/digest.h>
-#include <xrpl/tx/transactors/NFT/NFTokenUtils.h>
-
-namespace xrpl {
-
-namespace test {
-
-struct TestLedgerDataProvider : public HostFunctions
-{
-    jtx::Env& env_;
-    void const* rt_ = nullptr;
-
-public:
-    TestLedgerDataProvider(jtx::Env& env) : HostFunctions(env.journal), env_(env)
-    {
-    }
-
-    virtual void
-    setRT(void const* rt) override
-    {
-        rt_ = rt;
-    }
-
-    virtual void const*
-    getRT() const override
-    {
-        return rt_;
-    }
-
-    Expected<std::uint32_t, HostFunctionError>
-    getLedgerSqn() const override
-    {
-        return env_.current()->seq();
-    }
-};
-
-struct TestHostFunctions : public HostFunctions
-{
-    test::jtx::Env& env_;
-    AccountID accountID_;
-    Bytes data_;
-    int clock_drift_ = 0;
-    void const* rt_ = nullptr;
-
-public:
-    TestHostFunctions(test::jtx::Env& env, int cd = 0)
-        : HostFunctions(env.journal), env_(env), clock_drift_(cd)
-    {
-        accountID_ = env_.master.id();
-        std::string t = "10000";
-        data_ = Bytes{t.begin(), t.end()};
-    }
-
-    virtual void
-    setRT(void const* rt) override
-    {
-        rt_ = rt;
-    }
-
-    virtual void const*
-    getRT() const override
-    {
-        return rt_;
-    }
-
-    Expected<std::uint32_t, HostFunctionError>
-    getLedgerSqn() const override
-    {
-        return 12345;
-    }
-
-    Expected<std::uint32_t, HostFunctionError>
-    getParentLedgerTime() const override
-    {
-        return 67890;
-    }
-
-    Expected<Hash, HostFunctionError>
-    getParentLedgerHash() const override
-    {
-        return env_.current()->header().parentHash;
-    }
-
-    Expected<std::uint32_t, HostFunctionError>
-    getBaseFee() const override
-    {
-        return 10;
-    }
-
-    Expected<int32_t, HostFunctionError>
-    isAmendmentEnabled(uint256 const& amendmentId) const override
-    {
-        return 1;
-    }
-
-    Expected<int32_t, HostFunctionError>
-    isAmendmentEnabled(std::string_view const& amendmentName) const override
-    {
-        return 1;
-    }
-
-    virtual Expected<int32_t, HostFunctionError>
-    cacheLedgerObj(uint256 const& objId, int32_t cacheIdx) override
-    {
-        return 1;
-    }
-
-    Expected<Bytes, HostFunctionError>
-    getTxField(SField const& fname) const override
-    {
-        if (fname == sfAccount)
-            return Bytes(accountID_.begin(), accountID_.end());
-        else if (fname == sfFee)
-        {
-            int64_t x = 235;
-            uint8_t const* p = reinterpret_cast<uint8_t const*>(&x);
-            return Bytes{p, p + sizeof(x)};
-        }
-        else if (fname == sfSequence)
-        {
-            auto const x = getLedgerSqn();
-            if (!x)
-                return Unexpected(x.error());
-            std::uint32_t const data = x.value();
-            auto const* b = reinterpret_cast<uint8_t const*>(&data);
-            auto const* e = reinterpret_cast<uint8_t const*>(&data + 1);
-            return Bytes{b, e};
-        }
-        return Bytes();
-    }
-
-    Expected<Bytes, HostFunctionError>
-    getCurrentLedgerObjField(SField const& fname) const override
-    {
-        auto const& sn = fname.getName();
-        if (sn == "Destination" || sn == "Account")
-            return Bytes(accountID_.begin(), accountID_.end());
-        else if (sn == "Data")
-            return data_;
-        else if (sn == "FinishAfter")
-        {
-            auto t = env_.current()->parentCloseTime().time_since_epoch().count();
-            std::string s = std::to_string(t);
-            return Bytes{s.begin(), s.end()};
-        }
-
-        return Unexpected(HostFunctionError::INTERNAL);
-    }
-
-    Expected<Bytes, HostFunctionError>
-    getLedgerObjField(int32_t cacheIdx, SField const& fname) const override
-    {
-        if (fname == sfBalance)
-        {
-            int64_t x = 10'000;
-            uint8_t const* p = reinterpret_cast<uint8_t const*>(&x);
-            return Bytes{p, p + sizeof(x)};
-        }
-        else if (fname == sfAccount)
-        {
-            return Bytes(accountID_.begin(), accountID_.end());
-        }
-        return data_;
-    }
-
-    Expected<Bytes, HostFunctionError>
-    getTxNestedField(Slice const& locator) const override
-    {
-        if (locator.size() == 4)
-        {
-            int32_t const* l = reinterpret_cast<int32_t const*>(locator.data());
-            int32_t const sfield = l[0];
-            if (sfield == sfAccount.fieldCode)
-            {
-                return Bytes(accountID_.begin(), accountID_.end());
-            }
-        }
-        uint8_t const a[] = {0x2b, 0x6a, 0x23, 0x2a, 0xa4, 0xc4, 0xbe, 0x41, 0xbf, 0x49, 0xd2,
-                             0x45, 0x9f, 0xa4, 0xa0, 0x34, 0x7e, 0x1b, 0x54, 0x3a, 0x4c, 0x92,
-                             0xfc, 0xee, 0x08, 0x21, 0xc0, 0x20, 0x1e, 0x2e, 0x9a, 0x00};
-        return Bytes(&a[0], &a[sizeof(a)]);
-    }
-
-    Expected<Bytes, HostFunctionError>
-    getCurrentLedgerObjNestedField(Slice const& locator) const override
-    {
-        if (locator.size() == 4)
-        {
-            int32_t const* l = reinterpret_cast<int32_t const*>(locator.data());
-            int32_t const sfield = l[0];
-            if (sfield == sfAccount.fieldCode)
-            {
-                return Bytes(accountID_.begin(), accountID_.end());
-            }
-        }
-        uint8_t const a[] = {0x2b, 0x6a, 0x23, 0x2a, 0xa4, 0xc4, 0xbe, 0x41, 0xbf, 0x49, 0xd2,
-                             0x45, 0x9f, 0xa4, 0xa0, 0x34, 0x7e, 0x1b, 0x54, 0x3a, 0x4c, 0x92,
-                             0xfc, 0xee, 0x08, 0x21, 0xc0, 0x20, 0x1e, 0x2e, 0x9a, 0x00};
-        return Bytes(&a[0], &a[sizeof(a)]);
-    }
-
-    Expected<Bytes, HostFunctionError>
-    getLedgerObjNestedField(int32_t cacheIdx, Slice const& locator) const override
-    {
-        if (locator.size() == 4)
-        {
-            int32_t const* l = reinterpret_cast<int32_t const*>(locator.data());
-            int32_t const sfield = l[0];
-            if (sfield == sfAccount.fieldCode)
-            {
-                return Bytes(accountID_.begin(), accountID_.end());
-            }
-        }
-        uint8_t const a[] = {0x2b, 0x6a, 0x23, 0x2a, 0xa4, 0xc4, 0xbe, 0x41, 0xbf, 0x49, 0xd2,
-                             0x45, 0x9f, 0xa4, 0xa0, 0x34, 0x7e, 0x1b, 0x54, 0x3a, 0x4c, 0x92,
-                             0xfc, 0xee, 0x08, 0x21, 0xc0, 0x20, 0x1e, 0x2e, 0x9a, 0x00};
-        return Bytes(&a[0], &a[sizeof(a)]);
-    }
-
-    Expected<int32_t, HostFunctionError>
-    getTxArrayLen(SField const& fname) const override
-    {
-        return 32;
-    }
-
-    Expected<int32_t, HostFunctionError>
-    getCurrentLedgerObjArrayLen(SField const& fname) const override
-    {
-        return 32;
-    }
-
-    Expected<int32_t, HostFunctionError>
-    getLedgerObjArrayLen(int32_t cacheIdx, SField const& fname) const override
-    {
-        return 32;
-    }
-
-    Expected<int32_t, HostFunctionError>
-    getTxNestedArrayLen(Slice const& locator) const override
-    {
-        return 32;
-    }
-
-    Expected<int32_t, HostFunctionError>
-    getCurrentLedgerObjNestedArrayLen(Slice const& locator) const override
-    {
-        return 32;
-    }
-
-    Expected<int32_t, HostFunctionError>
-    getLedgerObjNestedArrayLen(int32_t cacheIdx, Slice const& locator) const override
-    {
-        return 32;
-    }
-
-    Expected<int32_t, HostFunctionError>
-    updateData(Slice const& data) override
-    {
-        return data.size();
-    }
-
-    Expected<int32_t, HostFunctionError>
-    checkSignature(Slice const& message, Slice const& signature, Slice const& pubkey) const override
-    {
-        return 1;
-    }
-
-    Expected<Hash, HostFunctionError>
-    computeSha512HalfHash(Slice const& data) const override
-    {
-        return env_.current()->header().parentHash;
-    }
-
-    Expected<Bytes, HostFunctionError>
-    accountKeylet(AccountID const& account) const override
-    {
-        if (!account)
-            return Unexpected(HostFunctionError::INVALID_ACCOUNT);
-        auto const keylet = keylet::account(account);
-        return Bytes{keylet.key.begin(), keylet.key.end()};
-    }
-
-    Expected<Bytes, HostFunctionError>
-    ammKeylet(Asset const& issue1, Asset const& issue2) const override
-    {
-        if (issue1 == issue2)
-            return Unexpected(HostFunctionError::INVALID_PARAMS);
-        if (issue1.holds<MPTIssue>() || issue2.holds<MPTIssue>())
-            return Unexpected(HostFunctionError::INVALID_PARAMS);
-        auto const keylet = keylet::amm(issue1, issue2);
-        return Bytes{keylet.key.begin(), keylet.key.end()};
-    }
-
-    Expected<Bytes, HostFunctionError>
-    checkKeylet(AccountID const& account, std::uint32_t seq) const override
-    {
-        if (!account)
-            return Unexpected(HostFunctionError::INVALID_ACCOUNT);
-        auto const keylet = keylet::check(account, seq);
-        return Bytes{keylet.key.begin(), keylet.key.end()};
-    }
-
-    Expected<Bytes, HostFunctionError>
-    credentialKeylet(AccountID const& subject, AccountID const& issuer, Slice const& credentialType)
-        const override
-    {
-        if (!subject || !issuer || credentialType.empty() ||
-            credentialType.size() > maxCredentialTypeLength)
-            return Unexpected(HostFunctionError::INVALID_ACCOUNT);
-        auto const keylet = keylet::credential(subject, issuer, credentialType);
-        return Bytes{keylet.key.begin(), keylet.key.end()};
-    }
-
-    Expected<Bytes, HostFunctionError>
-    escrowKeylet(AccountID const& account, std::uint32_t seq) const override
-    {
-        if (!account)
-            return Unexpected(HostFunctionError::INVALID_ACCOUNT);
-        auto const keylet = keylet::escrow(account, seq);
-        return Bytes{keylet.key.begin(), keylet.key.end()};
-    }
-
-    Expected<Bytes, HostFunctionError>
-    oracleKeylet(AccountID const& account, std::uint32_t documentId) const override
-    {
-        if (!account)
-            return Unexpected(HostFunctionError::INVALID_ACCOUNT);
-        auto const keylet = keylet::oracle(account, documentId);
-        return Bytes{keylet.key.begin(), keylet.key.end()};
-    }
-
-    Expected<Bytes, HostFunctionError>
-    getNFT(AccountID const& account, uint256 const& nftId) const override
-    {
-        if (!account || !nftId)
-        {
-            return Unexpected(HostFunctionError::INVALID_PARAMS);
-        }
-
-        std::string s = "https://ripple.com";
-        return Bytes(s.begin(), s.end());
-    }
-
-    Expected<Bytes, HostFunctionError>
-    getNFTIssuer(uint256 const& nftId) const override
-    {
-        return Bytes(accountID_.begin(), accountID_.end());
-    }
-
-    Expected<std::uint32_t, HostFunctionError>
-    getNFTTaxon(uint256 const& nftId) const override
-    {
-        return 4;
-    }
-
-    Expected<int32_t, HostFunctionError>
-    getNFTFlags(uint256 const& nftId) const override
-    {
-        return 8;
-    }
-
-    Expected<int32_t, HostFunctionError>
-    getNFTTransferFee(uint256 const& nftId) const override
-    {
-        return 10;
-    }
-
-    Expected<std::uint32_t, HostFunctionError>
-    getNFTSerial(uint256 const& nftId) const override
-    {
-        return 4;
-    }
-
-    template <typename F>
-    void
-    log(std::string_view const& msg, F&& dataFn) const
-    {
-#ifdef DEBUG_OUTPUT
-        auto& j = std::cerr;
-#else
-        if (!getJournal().active(beast::severities::kTrace))
-            return;
-        auto j = getJournal().trace();
-#endif
-        j << "WasmTrace: " << msg << " " << dataFn();
-
-#ifdef DEBUG_OUTPUT
-        j << std::endl;
-#endif
-    }
-
-    Expected<int32_t, HostFunctionError>
-    trace(std::string_view const& msg, Slice const& data, bool asHex) const override
-    {
-        if (!asHex)
-        {
-            log(msg, [&data] {
-                return std::string_view(reinterpret_cast<char const*>(data.data()), data.size());
-            });
-        }
-        else
-        {
-            log(msg, [&data] {
-                std::string hex;
-                hex.reserve(data.size() * 2);
-                boost::algorithm::hex(data.begin(), data.end(), std::back_inserter(hex));
-                return hex;
-            });
-        }
-
-        return 0;
-    }
-
-    Expected<int32_t, HostFunctionError>
-    traceNum(std::string_view const& msg, int64_t data) const override
-    {
-        log(msg, [data] { return data; });
-        return 0;
-    }
-
-    Expected<int32_t, HostFunctionError>
-    traceAccount(std::string_view const& msg, AccountID const& account) const override
-    {
-        log(msg, [&account] { return toBase58(account); });
-        return 0;
-    }
-
-    Expected<int32_t, HostFunctionError>
-    traceFloat(std::string_view const& msg, Slice const& data) const override
-    {
-        log(msg, [&data] { return wasm_float::floatToString(data); });
-        return 0;
-    }
-
-    Expected<int32_t, HostFunctionError>
-    traceAmount(std::string_view const& msg, STAmount const& amount) const override
-    {
-        log(msg, [&amount] { return amount.getFullText(); });
-        return 0;
-    }
-
-    Expected<Bytes, HostFunctionError>
-    floatFromInt(int64_t x, int32_t mode) const override
-    {
-        return wasm_float::floatFromIntImpl(x, mode);
-    }
-
-    Expected<Bytes, HostFunctionError>
-    floatFromUint(uint64_t x, int32_t mode) const override
-    {
-        return wasm_float::floatFromUintImpl(x, mode);
-    }
-
-    Expected<Bytes, HostFunctionError>
-    floatSet(int64_t mantissa, int32_t exponent, int32_t mode) const override
-    {
-        return wasm_float::floatSetImpl(mantissa, exponent, mode);
-    }
-
-    Expected<int32_t, HostFunctionError>
-    floatCompare(Slice const& x, Slice const& y) const override
-    {
-        return wasm_float::floatCompareImpl(x, y);
-    }
-
-    Expected<Bytes, HostFunctionError>
-    floatAdd(Slice const& x, Slice const& y, int32_t mode) const override
-    {
-        return wasm_float::floatAddImpl(x, y, mode);
-    }
-
-    Expected<Bytes, HostFunctionError>
-    floatSubtract(Slice const& x, Slice const& y, int32_t mode) const override
-    {
-        return wasm_float::floatSubtractImpl(x, y, mode);
-    }
-
-    Expected<Bytes, HostFunctionError>
-    floatMultiply(Slice const& x, Slice const& y, int32_t mode) const override
-    {
-        return wasm_float::floatMultiplyImpl(x, y, mode);
-    }
-
-    Expected<Bytes, HostFunctionError>
-    floatDivide(Slice const& x, Slice const& y, int32_t mode) const override
-    {
-        return wasm_float::floatDivideImpl(x, y, mode);
-    }
-
-    Expected<Bytes, HostFunctionError>
-    floatRoot(Slice const& x, int32_t n, int32_t mode) const override
-    {
-        return wasm_float::floatRootImpl(x, n, mode);
-    }
-
-    Expected<Bytes, HostFunctionError>
-    floatPower(Slice const& x, int32_t n, int32_t mode) const override
-    {
-        return wasm_float::floatPowerImpl(x, n, mode);
-    }
-
-    Expected<Bytes, HostFunctionError>
-    floatLog(Slice const& x, int32_t mode) const override
-    {
-        return wasm_float::floatLogImpl(x, mode);
-    }
-};
-
-struct TestHostFunctionsSink : public TestHostFunctions
-{
-    test::StreamSink sink_;
-    void const* rt_ = nullptr;
-
-public:
-    explicit TestHostFunctionsSink(test::jtx::Env& env, int cd = 0)
-        : TestHostFunctions(env, cd), sink_(beast::severities::kDebug)
-    {
-        j_ = beast::Journal(sink_);
-    }
-
-    test::StreamSink&
-    getSink()
-    {
-        return sink_;
-    }
-};
-
-}  // namespace test
-}  // namespace xrpl

src/test/app/wasm_fixtures/.gitignore

@@ -1,3 +0,0 @@
-**/target
-**/debug
-*.wasm

src/test/app/wasm_fixtures/all_host_functions/Cargo.lock

@@ -1,171 +0,0 @@
-# This file is automatically @generated by Cargo.
-# It is not intended for manual editing.
-version = 4
-
-[[package]]
-name = "all_host_functions"
-version = "0.1.0"
-dependencies = [
- "xrpl-wasm-stdlib",
-]
-
-[[package]]
-name = "block-buffer"
-version = "0.10.4"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71"
-dependencies = [
- "generic-array",
-]
-
-[[package]]
-name = "bs58"
-version = "0.5.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bf88ba1141d185c399bee5288d850d63b8369520c1eafc32a0430b5b6c287bf4"
-dependencies = [
- "tinyvec",
-]
-
-[[package]]
-name = "cfg-if"
-version = "1.0.4"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
-
-[[package]]
-name = "cpufeatures"
-version = "0.2.17"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "59ed5838eebb26a2bb2e58f6d5b5316989ae9d08bab10e0e6d103e656d1b0280"
-dependencies = [
- "libc",
-]
-
-[[package]]
-name = "crypto-common"
-version = "0.1.6"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1bfb12502f3fc46cca1bb51ac28df9d618d813cdc3d2f25b9fe775a34af26bb3"
-dependencies = [
- "generic-array",
- "typenum",
-]
-
-[[package]]
-name = "digest"
-version = "0.10.7"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9ed9a281f7bc9b7576e61468ba615a66a5c8cfdff42420a70aa82701a3b1e292"
-dependencies = [
- "block-buffer",
- "crypto-common",
-]
-
-[[package]]
-name = "generic-array"
-version = "0.14.9"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4bb6743198531e02858aeaea5398fcc883e71851fcbcb5a2f773e2fb6cb1edf2"
-dependencies = [
- "typenum",
- "version_check",
-]
-
-[[package]]
-name = "libc"
-version = "0.2.177"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2874a2af47a2325c2001a6e6fad9b16a53b802102b528163885171cf92b15976"
-
-[[package]]
-name = "proc-macro2"
-version = "1.0.103"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5ee95bc4ef87b8d5ba32e8b7714ccc834865276eab0aed5c9958d00ec45f49e8"
-dependencies = [
- "unicode-ident",
-]
-
-[[package]]
-name = "quote"
-version = "1.0.41"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ce25767e7b499d1b604768e7cde645d14cc8584231ea6b295e9c9eb22c02e1d1"
-dependencies = [
- "proc-macro2",
-]
-
-[[package]]
-name = "sha2"
-version = "0.10.9"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a7507d819769d01a365ab707794a4084392c824f54a7a6a7862f8c3d0892b283"
-dependencies = [
- "cfg-if",
- "cpufeatures",
- "digest",
-]
-
-[[package]]
-name = "syn"
-version = "2.0.108"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "da58917d35242480a05c2897064da0a80589a2a0476c9a3f2fdc83b53502e917"
-dependencies = [
- "proc-macro2",
- "quote",
- "unicode-ident",
-]
-
-[[package]]
-name = "tinyvec"
-version = "1.10.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bfa5fdc3bce6191a1dbc8c02d5c8bffcf557bafa17c124c5264a458f1b0613fa"
-dependencies = [
- "tinyvec_macros",
-]
-
-[[package]]
-name = "tinyvec_macros"
-version = "0.1.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1f3ccbac311fea05f86f61904b462b55fb3df8837a366dfc601a0161d0532f20"
-
-[[package]]
-name = "typenum"
-version = "1.19.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "562d481066bde0658276a35467c4af00bdc6ee726305698a55b86e61d7ad82bb"
-
-[[package]]
-name = "unicode-ident"
-version = "1.0.22"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9312f7c4f6ff9069b165498234ce8be658059c6728633667c526e27dc2cf1df5"
-
-[[package]]
-name = "version_check"
-version = "0.9.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a"
-
-[[package]]
-name = "xrpl-address-macro"
-version = "0.7.1"
-source = "git+https://github.com/ripple/xrpl-wasm-stdlib.git?branch=u32-buffer#1e5d096f46742ef7fcf1cb6f28a2526a72ed59d8"
-dependencies = [
- "bs58",
- "quote",
- "sha2",
- "syn",
-]
-
-[[package]]
-name = "xrpl-wasm-stdlib"
-version = "0.7.1"
-source = "git+https://github.com/ripple/xrpl-wasm-stdlib.git?branch=u32-buffer#1e5d096f46742ef7fcf1cb6f28a2526a72ed59d8"
-dependencies = [
- "xrpl-address-macro",
-]

src/test/app/wasm_fixtures/all_host_functions/Cargo.toml

@@ -1,21 +0,0 @@
-[package]
-name = "all_host_functions"
-version = "0.1.0"
-edition = "2024"
-
-# This empty workspace definition keeps this project independent of the parent workspace
-[workspace]
-
-[lib]
-crate-type = ["cdylib"]
-
-[dependencies]
-xrpl-std = { git = "https://github.com/ripple/xrpl-wasm-stdlib.git", package = "xrpl-wasm-stdlib", branch = "u32-buffer" }
-
-[profile.dev]
-panic = "abort"
-
-[profile.release]
-panic = "abort"
-opt-level = "z"
-lto = true

src/test/app/wasm_fixtures/all_host_functions/src/lib.rs

@@ -1,783 +0,0 @@
-#![cfg_attr(target_arch = "wasm32", no_std)]
-
-#[cfg(not(target_arch = "wasm32"))]
-extern crate std;
-
-//
-// Host Functions Test
-// Tests 26 host functions (across 7 categories)
-//
-// With craft you can run this test with:
-//   craft test --project host_functions_test --test-case host_functions_test
-//
-// Amount Format Update:
-// - XRP amounts now return as 8-byte serialized rippled objects
-// - IOU and MPT amounts return in variable-length serialized format
-// - Format details: https://xrpl.org/docs/references/protocol/binary-format#amount-fields
-//
-// Error Code Ranges:
-// -100 to -199: Ledger Header Functions (3 functions)
-// -200 to -299: Transaction Data Functions (5 functions)
-// -300 to -399: Current Ledger Object Functions (4 functions)
-// -400 to -499: Any Ledger Object Functions (5 functions)
-// -500 to -599: Keylet Generation Functions (4 functions)
-// -600 to -699: Utility Functions (4 functions)
-// -700 to -799: Data Update Functions (1 function)
-//
-
-use xrpl_std::core::current_tx::escrow_finish::EscrowFinish;
-use xrpl_std::core::current_tx::traits::TransactionCommonFields;
-use xrpl_std::host;
-use xrpl_std::host::trace::{trace, trace_account_buf, trace_data, trace_num, DataRepr};
-use xrpl_std::sfield;
-
-#[unsafe(no_mangle)]
-pub extern "C" fn finish() -> i32 {
-    let _ = trace("=== HOST FUNCTIONS TEST ===");
-    let _ = trace("Testing 26 host functions");
-
-    // Category 1: Ledger Header Data Functions (3 functions)
-    // Error range: -100 to -199
-    match test_ledger_header_functions() {
-        0 => (),
-        err => return err,
-    }
-
-    // Category 2: Transaction Data Functions (5 functions)
-    // Error range: -200 to -299
-    match test_transaction_data_functions() {
-        0 => (),
-        err => return err,
-    }
-
-    // Category 3: Current Ledger Object Functions (4 functions)
-    // Error range: -300 to -399
-    match test_current_ledger_object_functions() {
-        0 => (),
-        err => return err,
-    }
-
-    // Category 4: Any Ledger Object Functions (5 functions)
-    // Error range: -400 to -499
-    match test_any_ledger_object_functions() {
-        0 => (),
-        err => return err,
-    }
-
-    // Category 5: Keylet Generation Functions (4 functions)
-    // Error range: -500 to -599
-    match test_keylet_generation_functions() {
-        0 => (),
-        err => return err,
-    }
-
-    // Category 6: Utility Functions (4 functions)
-    // Error range: -600 to -699
-    match test_utility_functions() {
-        0 => (),
-        err => return err,
-    }
-
-    // Category 7: Data Update Functions (1 function)
-    // Error range: -700 to -799
-    match test_data_update_functions() {
-        0 => (),
-        err => return err,
-    }
-
-    let _ = trace("SUCCESS: All host function tests passed!");
-    1 // Success return code for WASM finish function
-}
-
-/// Test Category 1: Ledger Header Data Functions (3 functions)
-/// - get_ledger_sqn() - Get ledger sequence number
-/// - get_parent_ledger_time() - Get parent ledger timestamp
-/// - get_parent_ledger_hash() - Get parent ledger hash
-fn test_ledger_header_functions() -> i32 {
-    let _ = trace("--- Category 1: Ledger Header Functions ---");
-
-    // Test 1.1: get_ledger_sqn() - should return current ledger sequence number
-    let mut sqn_buffer = [0u8; 4];
-    let sqn_result = unsafe { host::get_ledger_sqn(sqn_buffer.as_mut_ptr(), sqn_buffer.len()) };
-
-    if sqn_result <= 0 {
-        let _ = trace_num("ERROR: get_ledger_sqn failed:", sqn_result as i64);
-        return -101; // Ledger sequence number test failed
-    }
-    let ledger_sqn = u32::from_be_bytes(sqn_buffer);
-    let _ = trace_num("Ledger sequence number:", ledger_sqn as i64);
-
-    // Test 1.2: get_parent_ledger_time() - should return parent ledger timestamp
-    let mut time_buffer = [0u8; 4];
-    let time_result =
-        unsafe { host::get_parent_ledger_time(time_buffer.as_mut_ptr(), time_buffer.len()) };
-
-    if time_result <= 0 {
-        let _ = trace_num("ERROR: get_parent_ledger_time failed:", time_result as i64);
-        return -102; // Parent ledger time test failed
-    }
-    let parent_ledger_time = u32::from_be_bytes(time_buffer);
-    let _ = trace_num("Parent ledger time:", parent_ledger_time as i64);
-
-    // Test 1.3: get_parent_ledger_hash() - should return parent ledger hash (32 bytes)
-    let mut hash_buffer = [0u8; 32];
-    let hash_result =
-        unsafe { host::get_parent_ledger_hash(hash_buffer.as_mut_ptr(), hash_buffer.len()) };
-
-    if hash_result != 32 {
-        let _ = trace_num(
-            "ERROR: get_parent_ledger_hash wrong length:",
-            hash_result as i64,
-        );
-        return -103; // Parent ledger hash test failed - should be exactly 32 bytes
-    }
-    let _ = trace_data("Parent ledger hash:", &hash_buffer, DataRepr::AsHex);
-
-    let _ = trace("SUCCESS: Ledger header functions");
-    0
-}
-
-/// Test Category 2: Transaction Data Functions (5 functions)
-/// Tests all functions for accessing current transaction data
-fn test_transaction_data_functions() -> i32 {
-    let _ = trace("--- Category 2: Transaction Data Functions ---");
-
-    // Test 2.1: get_tx_field() - Basic transaction field access
-    // Test with Account field (required, 20 bytes)
-    let mut account_buffer = [0u8; 20];
-    let account_len = unsafe {
-        host::get_tx_field(
-            sfield::Account,
-            account_buffer.as_mut_ptr(),
-            account_buffer.len(),
-        )
-    };
-
-    if account_len != 20 {
-        let _ = trace_num(
-            "ERROR: get_tx_field(Account) wrong length:",
-            account_len as i64,
-        );
-        return -201; // Basic transaction field test failed
-    }
-    let _ = trace_account_buf("Transaction Account:", &account_buffer);
-
-    // Test with Fee field (XRP amount - 8 bytes in new serialized format)
-    // New format: XRP amounts are always 8 bytes (positive: value | cPositive flag, negative: just value)
-    let mut fee_buffer = [0u8; 8];
-    let fee_len =
-        unsafe { host::get_tx_field(sfield::Fee, fee_buffer.as_mut_ptr(), fee_buffer.len()) };
-
-    if fee_len != 8 {
-        let _ = trace_num(
-            "ERROR: get_tx_field(Fee) wrong length (expected 8 bytes for XRP):",
-            fee_len as i64,
-        );
-        return -202; // Fee field test failed - XRP amounts should be exactly 8 bytes
-    }
-    let _ = trace_num("Transaction Fee length:", fee_len as i64);
-    let _ = trace_data(
-        "Transaction Fee (serialized XRP amount):",
-        &fee_buffer,
-        DataRepr::AsHex,
-    );
-
-    // Test with Sequence field (required, 4 bytes uint32)
-    let mut seq_buffer = [0u8; 4];
-    let seq_len =
-        unsafe { host::get_tx_field(sfield::Sequence, seq_buffer.as_mut_ptr(), seq_buffer.len()) };
-
-    if seq_len != 4 {
-        let _ = trace_num(
-            "ERROR: get_tx_field(Sequence) wrong length:",
-            seq_len as i64,
-        );
-        return -203; // Sequence field test failed
-    }
-    let _ = trace_data("Transaction Sequence:", &seq_buffer, DataRepr::AsHex);
-
-    // NOTE: get_tx_field2() through get_tx_field6() have been deprecated.
-    // Use get_tx_field() with appropriate parameters for all transaction field access.
-
-    // Test 2.2: get_tx_nested_field() - Nested field access with locator
-    let locator = [0x01, 0x00]; // Simple locator for first element
-    let mut nested_buffer = [0u8; 32];
-    let nested_result = unsafe {
-        host::get_tx_nested_field(
-            locator.as_ptr(),
-            locator.len(),
-            nested_buffer.as_mut_ptr(),
-            nested_buffer.len(),
-        )
-    };
-
-    if nested_result < 0 {
-        let _ = trace_num(
-            "INFO: get_tx_nested_field not applicable:",
-            nested_result as i64,
-        );
-        // Expected - locator may not match transaction structure
-    } else {
-        let _ = trace_num("Nested field length:", nested_result as i64);
-        let _ = trace_data(
-            "Nested field:",
-            &nested_buffer[..nested_result as usize],
-            DataRepr::AsHex,
-        );
-    }
-
-    // Test 2.3: get_tx_array_len() - Get array length
-    let signers_len = unsafe { host::get_tx_array_len(sfield::Signers) };
-    let _ = trace_num("Signers array length:", signers_len as i64);
-
-    let memos_len = unsafe { host::get_tx_array_len(sfield::Memos) };
-    let _ = trace_num("Memos array length:", memos_len as i64);
-
-    // Test 2.4: get_tx_nested_array_len() - Get nested array length with locator
-    let nested_array_len =
-        unsafe { host::get_tx_nested_array_len(locator.as_ptr(), locator.len()) };
-
-    if nested_array_len < 0 {
-        let _ = trace_num(
-            "INFO: get_tx_nested_array_len not applicable:",
-            nested_array_len as i64,
-        );
-    } else {
-        let _ = trace_num("Nested array length:", nested_array_len as i64);
-    }
-
-    let _ = trace("SUCCESS: Transaction data functions");
-    0
-}
-
-/// Test Category 3: Current Ledger Object Functions (4 functions)
-/// Tests functions that access the current ledger object being processed
-fn test_current_ledger_object_functions() -> i32 {
-    let _ = trace("--- Category 3: Current Ledger Object Functions ---");
-
-    // Test 3.1: get_current_ledger_obj_field() - Access field from current ledger object
-    // Test with Balance field (XRP amount - 8 bytes in new serialized format)
-    let mut balance_buffer = [0u8; 8];
-    let balance_result = unsafe {
-        host::get_current_ledger_obj_field(
-            sfield::Balance,
-            balance_buffer.as_mut_ptr(),
-            balance_buffer.len(),
-        )
-    };
-
-    if balance_result <= 0 {
-        let _ = trace_num(
-            "INFO: get_current_ledger_obj_field(Balance) failed (may be expected):",
-            balance_result as i64,
-        );
-        // This might fail if current ledger object doesn't have balance field
-    } else if balance_result == 8 {
-        let _ = trace_num(
-            "Current object balance length (XRP amount):",
-            balance_result as i64,
-        );
-        let _ = trace_data(
-            "Current object balance (serialized XRP amount):",
-            &balance_buffer,
-            DataRepr::AsHex,
-        );
-    } else {
-        let _ = trace_num(
-            "Current object balance length (non-XRP amount):",
-            balance_result as i64,
-        );
-        let _ = trace_data(
-            "Current object balance:",
-            &balance_buffer[..balance_result as usize],
-            DataRepr::AsHex,
-        );
-    }
-
-    // Test with Account field
-    let mut current_account_buffer = [0u8; 20];
-    let current_account_result = unsafe {
-        host::get_current_ledger_obj_field(
-            sfield::Account,
-            current_account_buffer.as_mut_ptr(),
-            current_account_buffer.len(),
-        )
-    };
-
-    if current_account_result <= 0 {
-        let _ = trace_num(
-            "INFO: get_current_ledger_obj_field(Account) failed:",
-            current_account_result as i64,
-        );
-    } else {
-        let _ = trace_account_buf("Current ledger object account:", &current_account_buffer);
-    }
-
-    // Test 3.2: get_current_ledger_obj_nested_field() - Nested field access
-    let locator = [0x01, 0x00]; // Simple locator
-    let mut current_nested_buffer = [0u8; 32];
-    let current_nested_result = unsafe {
-        host::get_current_ledger_obj_nested_field(
-            locator.as_ptr(),
-            locator.len(),
-            current_nested_buffer.as_mut_ptr(),
-            current_nested_buffer.len(),
-        )
-    };
-
-    if current_nested_result < 0 {
-        let _ = trace_num(
-            "INFO: get_current_ledger_obj_nested_field not applicable:",
-            current_nested_result as i64,
-        );
-    } else {
-        let _ = trace_num("Current nested field length:", current_nested_result as i64);
-        let _ = trace_data(
-            "Current nested field:",
-            &current_nested_buffer[..current_nested_result as usize],
-            DataRepr::AsHex,
-        );
-    }
-
-    // Test 3.3: get_current_ledger_obj_array_len() - Array length in current object
-    let current_array_len = unsafe { host::get_current_ledger_obj_array_len(sfield::Signers) };
-    let _ = trace_num(
-        "Current object Signers array length:",
-        current_array_len as i64,
-    );
-
-    // Test 3.4: get_current_ledger_obj_nested_array_len() - Nested array length
-    let current_nested_array_len =
-        unsafe { host::get_current_ledger_obj_nested_array_len(locator.as_ptr(), locator.len()) };
-
-    if current_nested_array_len < 0 {
-        let _ = trace_num(
-            "INFO: get_current_ledger_obj_nested_array_len not applicable:",
-            current_nested_array_len as i64,
-        );
-    } else {
-        let _ = trace_num(
-            "Current nested array length:",
-            current_nested_array_len as i64,
-        );
-    }
-
-    let _ = trace("SUCCESS: Current ledger object functions");
-    0
-}
-
-/// Test Category 4: Any Ledger Object Functions (5 functions)
-/// Tests functions that work with cached ledger objects
-fn test_any_ledger_object_functions() -> i32 {
-    let _ = trace("--- Category 4: Any Ledger Object Functions ---");
-
-    // First we need to cache a ledger object to test the other functions
-    // Get the account from transaction and generate its keylet
-    let escrow_finish = EscrowFinish;
-    let account_id = escrow_finish.get_account().unwrap();
-
-    // Test 4.1: cache_ledger_obj() - Cache a ledger object
-    let mut keylet_buffer = [0u8; 32];
-    let keylet_result = unsafe {
-        host::account_keylet(
-            account_id.0.as_ptr(),
-            account_id.0.len(),
-            keylet_buffer.as_mut_ptr(),
-            keylet_buffer.len(),
-        )
-    };
-
-    if keylet_result != 32 {
-        let _ = trace_num(
-            "ERROR: account_keylet failed for caching test:",
-            keylet_result as i64,
-        );
-        return -401; // Keylet generation failed for caching test
-    }
-
-    let cache_result =
-        unsafe { host::cache_ledger_obj(keylet_buffer.as_ptr(), keylet_result as usize, 0) };
-
-    if cache_result <= 0 {
-        let _ = trace_num(
-            "INFO: cache_ledger_obj failed (expected with test fixtures):",
-            cache_result as i64,
-        );
-        // Test fixtures may not contain the account object - this is expected
-        // We'll test the interface but expect failures
-
-        // Test 4.2-4.5 with invalid slot (should fail gracefully)
-        let mut test_buffer = [0u8; 32];
-
-        // Test get_ledger_obj_field with invalid slot
-        let field_result = unsafe {
-            host::get_ledger_obj_field(
-                1,
-                sfield::Balance,
-                test_buffer.as_mut_ptr(),
-                test_buffer.len(),
-            )
-        };
-        if field_result < 0 {
-            let _ = trace_num(
-                "INFO: get_ledger_obj_field failed as expected (no cached object):",
-                field_result as i64,
-            );
-        }
-
-        // Test get_ledger_obj_nested_field with invalid slot
-        let locator = [0x01, 0x00];
-        let nested_result = unsafe {
-            host::get_ledger_obj_nested_field(
-                1,
-                locator.as_ptr(),
-                locator.len(),
-                test_buffer.as_mut_ptr(),
-                test_buffer.len(),
-            )
-        };
-        if nested_result < 0 {
-            let _ = trace_num(
-                "INFO: get_ledger_obj_nested_field failed as expected:",
-                nested_result as i64,
-            );
-        }
-
-        // Test get_ledger_obj_array_len with invalid slot
-        let array_result = unsafe { host::get_ledger_obj_array_len(1, sfield::Signers) };
-        if array_result < 0 {
-            let _ = trace_num(
-                "INFO: get_ledger_obj_array_len failed as expected:",
-                array_result as i64,
-            );
-        }
-
-        // Test get_ledger_obj_nested_array_len with invalid slot
-        let nested_array_result =
-            unsafe { host::get_ledger_obj_nested_array_len(1, locator.as_ptr(), locator.len()) };
-        if nested_array_result < 0 {
-            let _ = trace_num(
-                "INFO: get_ledger_obj_nested_array_len failed as expected:",
-                nested_array_result as i64,
-            );
-        }
-
-        let _ = trace("SUCCESS: Any ledger object functions (interface tested)");
-        return 0;
-    }
-
-    // If we successfully cached an object, test the access functions
-    let slot = cache_result;
-    let _ = trace_num("Successfully cached object in slot:", slot as i64);
-
-    // Test 4.2: get_ledger_obj_field() - Access field from cached object
-    let mut cached_balance_buffer = [0u8; 8];
-    let cached_balance_result = unsafe {
-        host::get_ledger_obj_field(
-            slot,
-            sfield::Balance,
-            cached_balance_buffer.as_mut_ptr(),
-            cached_balance_buffer.len(),
-        )
-    };
-
-    if cached_balance_result <= 0 {
-        let _ = trace_num(
-            "INFO: get_ledger_obj_field(Balance) failed:",
-            cached_balance_result as i64,
-        );
-    } else if cached_balance_result == 8 {
-        let _ = trace_num(
-            "Cached object balance length (XRP amount):",
-            cached_balance_result as i64,
-        );
-        let _ = trace_data(
-            "Cached object balance (serialized XRP amount):",
-            &cached_balance_buffer,
-            DataRepr::AsHex,
-        );
-    } else {
-        let _ = trace_num(
-            "Cached object balance length (non-XRP amount):",
-            cached_balance_result as i64,
-        );
-        let _ = trace_data(
-            "Cached object balance:",
-            &cached_balance_buffer[..cached_balance_result as usize],
-            DataRepr::AsHex,
-        );
-    }
-
-    // Test 4.3: get_ledger_obj_nested_field() - Nested field from cached object
-    let locator = [0x01, 0x00];
-    let mut cached_nested_buffer = [0u8; 32];
-    let cached_nested_result = unsafe {
-        host::get_ledger_obj_nested_field(
-            slot,
-            locator.as_ptr(),
-            locator.len(),
-            cached_nested_buffer.as_mut_ptr(),
-            cached_nested_buffer.len(),
-        )
-    };
-
-    if cached_nested_result < 0 {
-        let _ = trace_num(
-            "INFO: get_ledger_obj_nested_field not applicable:",
-            cached_nested_result as i64,
-        );
-    } else {
-        let _ = trace_num("Cached nested field length:", cached_nested_result as i64);
-        let _ = trace_data(
-            "Cached nested field:",
-            &cached_nested_buffer[..cached_nested_result as usize],
-            DataRepr::AsHex,
-        );
-    }
-
-    // Test 4.4: get_ledger_obj_array_len() - Array length from cached object
-    let cached_array_len = unsafe { host::get_ledger_obj_array_len(slot, sfield::Signers) };
-    let _ = trace_num(
-        "Cached object Signers array length:",
-        cached_array_len as i64,
-    );
-
-    // Test 4.5: get_ledger_obj_nested_array_len() - Nested array length from cached object
-    let cached_nested_array_len =
-        unsafe { host::get_ledger_obj_nested_array_len(slot, locator.as_ptr(), locator.len()) };
-
-    if cached_nested_array_len < 0 {
-        let _ = trace_num(
-            "INFO: get_ledger_obj_nested_array_len not applicable:",
-            cached_nested_array_len as i64,
-        );
-    } else {
-        let _ = trace_num(
-            "Cached nested array length:",
-            cached_nested_array_len as i64,
-        );
-    }
-
-    let _ = trace("SUCCESS: Any ledger object functions");
-    0
-}
-
-/// Test Category 5: Keylet Generation Functions (4 functions)
-/// Tests keylet generation functions for different ledger entry types
-fn test_keylet_generation_functions() -> i32 {
-    let _ = trace("--- Category 5: Keylet Generation Functions ---");
-
-    let escrow_finish = EscrowFinish;
-    let account_id = escrow_finish.get_account().unwrap();
-
-    // Test 5.1: account_keylet() - Generate keylet for account
-    let mut account_keylet_buffer = [0u8; 32];
-    let account_keylet_result = unsafe {
-        host::account_keylet(
-            account_id.0.as_ptr(),
-            account_id.0.len(),
-            account_keylet_buffer.as_mut_ptr(),
-            account_keylet_buffer.len(),
-        )
-    };
-
-    if account_keylet_result != 32 {
-        let _ = trace_num(
-            "ERROR: account_keylet failed:",
-            account_keylet_result as i64,
-        );
-        return -501; // Account keylet generation failed
-    }
-    let _ = trace_data("Account keylet:", &account_keylet_buffer, DataRepr::AsHex);
-
-    // Test 5.2: credential_keylet() - Generate keylet for credential
-    let mut credential_keylet_buffer = [0u8; 32];
-    let credential_keylet_result = unsafe {
-        host::credential_keylet(
-            account_id.0.as_ptr(), // Subject
-            account_id.0.len(),
-            account_id.0.as_ptr(), // Issuer - same account for test
-            account_id.0.len(),
-            b"TestType".as_ptr(), // Credential type
-            9usize,               // Length of "TestType"
-            credential_keylet_buffer.as_mut_ptr(),
-            credential_keylet_buffer.len(),
-        )
-    };
-
-    if credential_keylet_result <= 0 {
-        let _ = trace_num(
-            "INFO: credential_keylet failed (expected - interface issue):",
-            credential_keylet_result as i64,
-        );
-        // This is expected to fail due to unusual parameter types
-    } else {
-        let _ = trace_data(
-            "Credential keylet:",
-            &credential_keylet_buffer[..credential_keylet_result as usize],
-            DataRepr::AsHex,
-        );
-    }
-
-    // Test 5.3: escrow_keylet() - Generate keylet for escrow
-    let mut escrow_keylet_buffer = [0u8; 32];
-    let sequence_number: i32 = 1000;
-    let sequence_number_bytes = sequence_number.to_be_bytes();
-    let escrow_keylet_result = unsafe {
-        host::escrow_keylet(
-            account_id.0.as_ptr(),
-            account_id.0.len(),
-            sequence_number_bytes.as_ptr(),
-            sequence_number_bytes.len(),
-            escrow_keylet_buffer.as_mut_ptr(),
-            escrow_keylet_buffer.len(),
-        )
-    };
-
-    if escrow_keylet_result != 32 {
-        let _ = trace_num("ERROR: escrow_keylet failed:", escrow_keylet_result as i64);
-        return -503; // Escrow keylet generation failed
-    }
-    let _ = trace_data("Escrow keylet:", &escrow_keylet_buffer, DataRepr::AsHex);
-
-    // Test 5.4: oracle_keylet() - Generate keylet for oracle
-    let mut oracle_keylet_buffer = [0u8; 32];
-    let document_id: i32 = 42;
-    let document_id_bytes = document_id.to_be_bytes();
-    let oracle_keylet_result = unsafe {
-        host::oracle_keylet(
-            account_id.0.as_ptr(),
-            account_id.0.len(),
-            document_id_bytes.as_ptr(),
-            document_id_bytes.len(),
-            oracle_keylet_buffer.as_mut_ptr(),
-            oracle_keylet_buffer.len(),
-        )
-    };
-
-    if oracle_keylet_result != 32 {
-        let _ = trace_num("ERROR: oracle_keylet failed:", oracle_keylet_result as i64);
-        return -504; // Oracle keylet generation failed
-    }
-    let _ = trace_data("Oracle keylet:", &oracle_keylet_buffer, DataRepr::AsHex);
-
-    let _ = trace("SUCCESS: Keylet generation functions");
-    0
-}
-
-/// Test Category 6: Utility Functions (4 functions)
-/// Tests utility functions for hashing, NFT access, and tracing
-fn test_utility_functions() -> i32 {
-    let _ = trace("--- Category 6: Utility Functions ---");
-
-    // Test 6.1: compute_sha512_half() - SHA512 hash computation (first 32 bytes)
-    let test_data = b"Hello, XRPL WASM world!";
-    let mut hash_output = [0u8; 32];
-    let hash_result = unsafe {
-        host::compute_sha512_half(
-            test_data.as_ptr(),
-            test_data.len(),
-            hash_output.as_mut_ptr(),
-            hash_output.len(),
-        )
-    };
-
-    if hash_result != 32 {
-        let _ = trace_num("ERROR: compute_sha512_half failed:", hash_result as i64);
-        return -601; // SHA512 half computation failed
-    }
-    let _ = trace_data("Input data:", test_data, DataRepr::AsHex);
-    let _ = trace_data("SHA512 half hash:", &hash_output, DataRepr::AsHex);
-
-    // Test 6.2: get_nft() - NFT data retrieval
-    let escrow_finish = EscrowFinish;
-    let account_id = escrow_finish.get_account().unwrap();
-    let nft_id = [0u8; 32]; // Dummy NFT ID for testing
-    let mut nft_buffer = [0u8; 256];
-    let nft_result = unsafe {
-        host::get_nft(
-            account_id.0.as_ptr(),
-            account_id.0.len(),
-            nft_id.as_ptr(),
-            nft_id.len(),
-            nft_buffer.as_mut_ptr(),
-            nft_buffer.len(),
-        )
-    };
-
-    if nft_result <= 0 {
-        let _ = trace_num(
-            "INFO: get_nft failed (expected - no such NFT):",
-            nft_result as i64,
-        );
-        // This is expected - test account likely doesn't own the dummy NFT
-    } else {
-        let _ = trace_num("NFT data length:", nft_result as i64);
-        let _ = trace_data(
-            "NFT data:",
-            &nft_buffer[..nft_result as usize],
-            DataRepr::AsHex,
-        );
-    }
-
-    // Test 6.3: trace() - Debug logging with data
-    let trace_message = b"Test trace message";
-    let trace_data_payload = b"payload";
-    let trace_result = unsafe {
-        host::trace(
-            trace_message.as_ptr(),
-            trace_message.len(),
-            trace_data_payload.as_ptr(),
-            trace_data_payload.len(),
-            1, // as_hex = true
-        )
-    };
-
-    if trace_result < 0 {
-        let _ = trace_num("ERROR: trace() failed:", trace_result as i64);
-        return -603; // Trace function failed
-    }
-    let _ = trace_num("Trace function bytes written:", trace_result as i64);
-
-    // Test 6.4: trace_num() - Debug logging with number
-    let test_number = 42i64;
-    let trace_num_result = trace_num("Test number trace", test_number);
-
-    use xrpl_std::host::Result;
-    match trace_num_result {
-        Result::Ok(_) => {
-            let _ = trace_num("Trace_num function succeeded", 0);
-        }
-        Result::Err(_) => {
-            let _ = trace_num("ERROR: trace_num() failed:", -604);
-            return -604; // Trace number function failed
-        }
-    }
-
-    let _ = trace("SUCCESS: Utility functions");
-    0
-}
-
-/// Test Category 7: Data Update Functions (1 function)
-/// Tests the function for modifying the current ledger entry
-fn test_data_update_functions() -> i32 {
-    let _ = trace("--- Category 7: Data Update Functions ---");
-
-    // Test 7.1: update_data() - Update current ledger entry data
-    let update_payload = b"Updated ledger entry data from WASM test";
-
-    let update_result = unsafe { host::update_data(update_payload.as_ptr(), update_payload.len()) };
-
-    if update_result != update_payload.len() as i32 {
-        let _ = trace_num("ERROR: update_data failed:", update_result as i64);
-        return -701; // Data update failed
-    }
-
-    let _ = trace_data(
-        "Successfully updated ledger entry with:",
-        update_payload,
-        DataRepr::AsHex,
-    );
-    let _ = trace("SUCCESS: Data update functions");
-    0
-}

src/test/app/wasm_fixtures/all_keylets/Cargo.lock

@@ -1,171 +0,0 @@
-# This file is automatically @generated by Cargo.
-# It is not intended for manual editing.
-version = 4
-
-[[package]]
-name = "all_keylets"
-version = "0.0.1"
-dependencies = [
- "xrpl-wasm-stdlib",
-]
-
-[[package]]
-name = "block-buffer"
-version = "0.10.4"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71"
-dependencies = [
- "generic-array",
-]
-
-[[package]]
-name = "bs58"
-version = "0.5.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bf88ba1141d185c399bee5288d850d63b8369520c1eafc32a0430b5b6c287bf4"
-dependencies = [
- "tinyvec",
-]
-
-[[package]]
-name = "cfg-if"
-version = "1.0.4"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
-
-[[package]]
-name = "cpufeatures"
-version = "0.2.17"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "59ed5838eebb26a2bb2e58f6d5b5316989ae9d08bab10e0e6d103e656d1b0280"
-dependencies = [
- "libc",
-]
-
-[[package]]
-name = "crypto-common"
-version = "0.1.6"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1bfb12502f3fc46cca1bb51ac28df9d618d813cdc3d2f25b9fe775a34af26bb3"
-dependencies = [
- "generic-array",
- "typenum",
-]
-
-[[package]]
-name = "digest"
-version = "0.10.7"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9ed9a281f7bc9b7576e61468ba615a66a5c8cfdff42420a70aa82701a3b1e292"
-dependencies = [
- "block-buffer",
- "crypto-common",
-]
-
-[[package]]
-name = "generic-array"
-version = "0.14.9"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4bb6743198531e02858aeaea5398fcc883e71851fcbcb5a2f773e2fb6cb1edf2"
-dependencies = [
- "typenum",
- "version_check",
-]
-
-[[package]]
-name = "libc"
-version = "0.2.177"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2874a2af47a2325c2001a6e6fad9b16a53b802102b528163885171cf92b15976"
-
-[[package]]
-name = "proc-macro2"
-version = "1.0.103"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5ee95bc4ef87b8d5ba32e8b7714ccc834865276eab0aed5c9958d00ec45f49e8"
-dependencies = [
- "unicode-ident",
-]
-
-[[package]]
-name = "quote"
-version = "1.0.41"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ce25767e7b499d1b604768e7cde645d14cc8584231ea6b295e9c9eb22c02e1d1"
-dependencies = [
- "proc-macro2",
-]
-
-[[package]]
-name = "sha2"
-version = "0.10.9"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a7507d819769d01a365ab707794a4084392c824f54a7a6a7862f8c3d0892b283"
-dependencies = [
- "cfg-if",
- "cpufeatures",
- "digest",
-]
-
-[[package]]
-name = "syn"
-version = "2.0.108"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "da58917d35242480a05c2897064da0a80589a2a0476c9a3f2fdc83b53502e917"
-dependencies = [
- "proc-macro2",
- "quote",
- "unicode-ident",
-]
-
-[[package]]
-name = "tinyvec"
-version = "1.10.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bfa5fdc3bce6191a1dbc8c02d5c8bffcf557bafa17c124c5264a458f1b0613fa"
-dependencies = [
- "tinyvec_macros",
-]
-
-[[package]]
-name = "tinyvec_macros"
-version = "0.1.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1f3ccbac311fea05f86f61904b462b55fb3df8837a366dfc601a0161d0532f20"
-
-[[package]]
-name = "typenum"
-version = "1.19.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "562d481066bde0658276a35467c4af00bdc6ee726305698a55b86e61d7ad82bb"
-
-[[package]]
-name = "unicode-ident"
-version = "1.0.22"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9312f7c4f6ff9069b165498234ce8be658059c6728633667c526e27dc2cf1df5"
-
-[[package]]
-name = "version_check"
-version = "0.9.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a"
-
-[[package]]
-name = "xrpl-address-macro"
-version = "0.7.1"
-source = "git+https://github.com/ripple/xrpl-wasm-stdlib.git?branch=u32-buffer#1e5d096f46742ef7fcf1cb6f28a2526a72ed59d8"
-dependencies = [
- "bs58",
- "quote",
- "sha2",
- "syn",
-]
-
-[[package]]
-name = "xrpl-wasm-stdlib"
-version = "0.7.1"
-source = "git+https://github.com/ripple/xrpl-wasm-stdlib.git?branch=u32-buffer#1e5d096f46742ef7fcf1cb6f28a2526a72ed59d8"
-dependencies = [
- "xrpl-address-macro",
-]

src/test/app/wasm_fixtures/all_keylets/Cargo.toml

@@ -1,21 +0,0 @@
-[package]
-edition = "2024"
-name = "all_keylets"
-version = "0.0.1"
-
-# This empty workspace definition keeps this project independent of the parent workspace
-[workspace]
-
-[lib]
-crate-type = ["cdylib"]
-
-[profile.release]
-lto = true
-opt-level = 's'
-panic = "abort"
-
-[dependencies]
-xrpl-std = { git = "https://github.com/ripple/xrpl-wasm-stdlib.git", package = "xrpl-wasm-stdlib", branch = "u32-buffer" }
-
-[profile.dev]
-panic = "abort"

src/test/app/wasm_fixtures/all_keylets/src/lib.rs

@@ -1,181 +0,0 @@
-#![cfg_attr(target_arch = "wasm32", no_std)]
-
-#[cfg(not(target_arch = "wasm32"))]
-extern crate std;
-
-use crate::host::{Error, Result, Result::Err, Result::Ok};
-use xrpl_std::core::ledger_objects::current_escrow::get_current_escrow;
-use xrpl_std::core::ledger_objects::current_escrow::CurrentEscrow;
-use xrpl_std::core::ledger_objects::ledger_object;
-use xrpl_std::core::ledger_objects::traits::CurrentEscrowFields;
-use xrpl_std::core::types::account_id::AccountID;
-use xrpl_std::core::types::currency::Currency;
-use xrpl_std::core::types::issue::{IouIssue, Issue, XrpIssue};
-use xrpl_std::core::types::keylets;
-use xrpl_std::core::types::mpt_id::MptId;
-use xrpl_std::core::types::uint::Hash256;
-use xrpl_std::host;
-use xrpl_std::host::trace::{trace, trace_account, trace_data, trace_num, DataRepr};
-use xrpl_std::sfield;
-
-#[unsafe(no_mangle)]
-pub fn object_exists(
-    keylet_result: Result<keylets::KeyletBytes>,
-    keylet_type: &str,
-    field: i32,
-) -> Result<bool> {
-    match keylet_result {
-        Ok(keylet) => {
-            let _ = trace_data(keylet_type, &keylet, DataRepr::AsHex);
-
-            let slot = unsafe { host::cache_ledger_obj(keylet.as_ptr(), keylet.len(), 0) };
-            if slot <= 0 {
-                let _ = trace_num("Error: ", slot.into());
-                return Err(Error::from_code(slot));
-            }
-            if field == 0 {
-                let new_field = sfield::PreviousTxnID;
-                let _ = trace_num("Getting field: ", new_field.into());
-                match ledger_object::get_field::<Hash256>(slot, new_field) {
-                    Ok(data) => {
-                        let _ = trace_data("Field data: ", &data.0, DataRepr::AsHex);
-                    }
-                    Err(result_code) => {
-                        let _ = trace_num("Error getting field: ", result_code.into());
-                        return Err(result_code);
-                    }
-                }
-            } else {
-                let _ = trace_num("Getting field: ", field.into());
-                match ledger_object::get_field::<AccountID>(slot, field) {
-                    Ok(data) => {
-                        let _ = trace_data("Field data: ", &data.0, DataRepr::AsHex);
-                    }
-                    Err(result_code) => {
-                        let _ = trace_num("Error getting field: ", result_code.into());
-                        return Err(result_code);
-                    }
-                }
-            }
-
-            Ok(true)
-        }
-        Err(error) => {
-            let _ = trace_num("Error getting keylet: ", error.into());
-            Err(error)
-        }
-    }
-}
-
-#[unsafe(no_mangle)]
-pub extern "C" fn finish() -> i32 {
-    let _ = trace("$$$$$ STARTING WASM EXECUTION $$$$$");
-
-    let escrow: CurrentEscrow = get_current_escrow();
-
-    let account = escrow.get_account().unwrap_or_panic();
-    let _ = trace_account("Account:", &account);
-
-    let destination = escrow.get_destination().unwrap_or_panic();
-    let _ = trace_account("Destination:", &destination);
-
-    let mut seq = 5;
-
-    macro_rules! check_object_exists {
-        ($keylet:expr, $type:expr, $field:expr) => {
-            match object_exists($keylet, $type, $field) {
-                Ok(_exists) => {
-                    // false isn't returned
-                    let _ = trace(concat!(
-                        $type,
-                        " object exists, proceeding with escrow finish."
-                    ));
-                }
-                Err(error) => {
-                    let _ = trace_num("Current seq value:", seq.try_into().unwrap());
-                    return error.code();
-                }
-            }
-        };
-    }
-
-    let account_keylet = keylets::account_keylet(&account);
-    check_object_exists!(account_keylet, "Account", sfield::Account);
-
-    let currency_code: &[u8; 3] = b"USD";
-    let currency: Currency = Currency::from(*currency_code);
-    let line_keylet = keylets::line_keylet(&account, &destination, &currency);
-    check_object_exists!(line_keylet, "Trustline", sfield::Generic);
-    seq += 1;
-
-    let asset1 = Issue::XRP(XrpIssue {});
-    let asset2 = Issue::IOU(IouIssue::new(destination, currency));
-    check_object_exists!(
-        keylets::amm_keylet(&asset1, &asset2),
-        "AMM",
-        sfield::Account
-    );
-
-    let check_keylet = keylets::check_keylet(&account, seq);
-    check_object_exists!(check_keylet, "Check", sfield::Account);
-    seq += 1;
-
-    let cred_type: &[u8] = b"termsandconditions";
-    let credential_keylet = keylets::credential_keylet(&account, &account, cred_type);
-    check_object_exists!(credential_keylet, "Credential", sfield::Subject);
-    seq += 1;
-
-    let delegate_keylet = keylets::delegate_keylet(&account, &destination);
-    check_object_exists!(delegate_keylet, "Delegate", sfield::Account);
-    seq += 1;
-
-    let deposit_preauth_keylet = keylets::deposit_preauth_keylet(&account, &destination);
-    check_object_exists!(deposit_preauth_keylet, "DepositPreauth", sfield::Account);
-    seq += 1;
-
-    let did_keylet = keylets::did_keylet(&account);
-    check_object_exists!(did_keylet, "DID", sfield::Account);
-    seq += 1;
-
-    let escrow_keylet = keylets::escrow_keylet(&account, seq);
-    check_object_exists!(escrow_keylet, "Escrow", sfield::Account);
-    seq += 1;
-
-    let mpt_issuance_keylet = keylets::mpt_issuance_keylet(&account, seq);
-    let mpt_id = MptId::new(seq.try_into().unwrap(), account);
-    check_object_exists!(mpt_issuance_keylet, "MPTIssuance", sfield::Issuer);
-    seq += 1;
-
-    let mptoken_keylet = keylets::mptoken_keylet(&mpt_id, &destination);
-    check_object_exists!(mptoken_keylet, "MPToken", sfield::Account);
-
-    let nft_offer_keylet = keylets::nft_offer_keylet(&destination, 6);
-    check_object_exists!(nft_offer_keylet, "NFTokenOffer", sfield::Owner);
-
-    let offer_keylet = keylets::offer_keylet(&account, seq);
-    check_object_exists!(offer_keylet, "Offer", sfield::Account);
-    seq += 1;
-
-    let paychan_keylet = keylets::paychan_keylet(&account, &destination, seq);
-    check_object_exists!(paychan_keylet, "PayChannel", sfield::Account);
-    seq += 1;
-
-    let pd_keylet = keylets::permissioned_domain_keylet(&account, seq);
-    check_object_exists!(pd_keylet, "PermissionedDomain", sfield::Owner);
-    seq += 1;
-
-    let signers_keylet = keylets::signers_keylet(&account);
-    check_object_exists!(signers_keylet, "SignerList", sfield::Generic);
-    seq += 1;
-
-    seq += 1; // ticket sequence number is one greater
-    let ticket_keylet = keylets::ticket_keylet(&account, seq);
-    check_object_exists!(ticket_keylet, "Ticket", sfield::Account);
-    seq += 1;
-
-    let vault_keylet = keylets::vault_keylet(&account, seq);
-    check_object_exists!(vault_keylet, "Vault", sfield::Account);
-    // seq += 1;
-
-    1 // All keylets exist, finish the escrow.
-}

src/test/app/wasm_fixtures/bad_align.c

@@ -1,43 +0,0 @@
-#include <stdint.h>
-
-int32_t float_from_uint(uint8_t const *, int32_t, uint8_t *, int32_t, int32_t);
-int32_t check_keylet(uint8_t const *, int32_t, uint8_t const *, int32_t,
-                     uint8_t *, int32_t);
-
-uint8_t e_data1[32 * 1024];
-uint8_t e_data2[32 * 1024];
-
-int32_t test1()
-{
-  e_data1[1] = 0xFF;
-  e_data1[2] = 0xFF;
-  e_data1[3] = 0xFF;
-  e_data1[4] = 0xFF;
-  e_data1[5] = 0xFF;
-  e_data1[6] = 0xFF;
-  e_data1[7] = 0xFF;
-  e_data1[8] = 0xFF;
-  int32_t result = float_from_uint(&e_data1[1], 8, &e_data1[35], 12, 0);
-  return result >= 0 ? *((int32_t *)(&e_data1[36])) : result;
-}
-
-int32_t test2()
-{
-  // Set up misaligned uint32 (seq) at offset 1
-  e_data2[1] = 0xFF;
-  e_data2[2] = 0xFF;
-  e_data2[3] = 0xFF;
-  e_data2[4] = 0xFF;
-  // Set up valid non-zero AccountID (20 bytes) at offset 10
-  for (int i = 0; i < 20; i++)
-    e_data2[10 + i] = i + 1;
-  // Call check_keylet with misaligned uint32 at &e_data2[1] to hit line 72 in
-  // HostFuncWrapper.cpp
-  int32_t result =
-      check_keylet(&e_data2[10], 20, &e_data2[1], 4, &e_data2[35], 32);
-  // Return the misaligned value directly to validate it was read correctly (-1
-  // if all 0xFF)
-  return result >= 0 ? *((int32_t *)(&e_data2[36])) : result;
-}
-
-int32_t test() { return test1() + test2(); }

src/test/app/wasm_fixtures/codecov_tests/Cargo.lock

@@ -1,171 +0,0 @@
-# This file is automatically @generated by Cargo.
-# It is not intended for manual editing.
-version = 4
-
-[[package]]
-name = "block-buffer"
-version = "0.10.4"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71"
-dependencies = [
- "generic-array",
-]
-
-[[package]]
-name = "bs58"
-version = "0.5.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bf88ba1141d185c399bee5288d850d63b8369520c1eafc32a0430b5b6c287bf4"
-dependencies = [
- "tinyvec",
-]
-
-[[package]]
-name = "cfg-if"
-version = "1.0.4"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
-
-[[package]]
-name = "codecov_tests"
-version = "0.0.1"
-dependencies = [
- "xrpl-wasm-stdlib",
-]
-
-[[package]]
-name = "cpufeatures"
-version = "0.2.17"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "59ed5838eebb26a2bb2e58f6d5b5316989ae9d08bab10e0e6d103e656d1b0280"
-dependencies = [
- "libc",
-]
-
-[[package]]
-name = "crypto-common"
-version = "0.1.6"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1bfb12502f3fc46cca1bb51ac28df9d618d813cdc3d2f25b9fe775a34af26bb3"
-dependencies = [
- "generic-array",
- "typenum",
-]
-
-[[package]]
-name = "digest"
-version = "0.10.7"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9ed9a281f7bc9b7576e61468ba615a66a5c8cfdff42420a70aa82701a3b1e292"
-dependencies = [
- "block-buffer",
- "crypto-common",
-]
-
-[[package]]
-name = "generic-array"
-version = "0.14.9"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4bb6743198531e02858aeaea5398fcc883e71851fcbcb5a2f773e2fb6cb1edf2"
-dependencies = [
- "typenum",
- "version_check",
-]
-
-[[package]]
-name = "libc"
-version = "0.2.177"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2874a2af47a2325c2001a6e6fad9b16a53b802102b528163885171cf92b15976"
-
-[[package]]
-name = "proc-macro2"
-version = "1.0.103"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5ee95bc4ef87b8d5ba32e8b7714ccc834865276eab0aed5c9958d00ec45f49e8"
-dependencies = [
- "unicode-ident",
-]
-
-[[package]]
-name = "quote"
-version = "1.0.41"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ce25767e7b499d1b604768e7cde645d14cc8584231ea6b295e9c9eb22c02e1d1"
-dependencies = [
- "proc-macro2",
-]
-
-[[package]]
-name = "sha2"
-version = "0.10.9"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a7507d819769d01a365ab707794a4084392c824f54a7a6a7862f8c3d0892b283"
-dependencies = [
- "cfg-if",
- "cpufeatures",
- "digest",
-]
-
-[[package]]
-name = "syn"
-version = "2.0.108"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "da58917d35242480a05c2897064da0a80589a2a0476c9a3f2fdc83b53502e917"
-dependencies = [
- "proc-macro2",
- "quote",
- "unicode-ident",
-]
-
-[[package]]
-name = "tinyvec"
-version = "1.10.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bfa5fdc3bce6191a1dbc8c02d5c8bffcf557bafa17c124c5264a458f1b0613fa"
-dependencies = [
- "tinyvec_macros",
-]
-
-[[package]]
-name = "tinyvec_macros"
-version = "0.1.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1f3ccbac311fea05f86f61904b462b55fb3df8837a366dfc601a0161d0532f20"
-
-[[package]]
-name = "typenum"
-version = "1.19.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "562d481066bde0658276a35467c4af00bdc6ee726305698a55b86e61d7ad82bb"
-
-[[package]]
-name = "unicode-ident"
-version = "1.0.22"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9312f7c4f6ff9069b165498234ce8be658059c6728633667c526e27dc2cf1df5"
-
-[[package]]
-name = "version_check"
-version = "0.9.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a"
-
-[[package]]
-name = "xrpl-address-macro"
-version = "0.7.1"
-source = "git+https://github.com/ripple/xrpl-wasm-stdlib.git?branch=u32-buffer#1e5d096f46742ef7fcf1cb6f28a2526a72ed59d8"
-dependencies = [
- "bs58",
- "quote",
- "sha2",
- "syn",
-]
-
-[[package]]
-name = "xrpl-wasm-stdlib"
-version = "0.7.1"
-source = "git+https://github.com/ripple/xrpl-wasm-stdlib.git?branch=u32-buffer#1e5d096f46742ef7fcf1cb6f28a2526a72ed59d8"
-dependencies = [
- "xrpl-address-macro",
-]

src/test/app/wasm_fixtures/codecov_tests/Cargo.toml

@@ -1,18 +0,0 @@
-[package]
-edition = "2024"
-name = "codecov_tests"
-version = "0.0.1"
-
-# This empty workspace definition keeps this project independent of the parent workspace
-[workspace]
-
-[lib]
-crate-type = ["cdylib"]
-
-[profile.release]
-lto = true
-opt-level = 's'
-panic = "abort"
-
-[dependencies]
-xrpl-std = { git = "https://github.com/ripple/xrpl-wasm-stdlib.git", package = "xrpl-wasm-stdlib", branch = "u32-buffer" }

src/test/app/wasm_fixtures/codecov_tests/src/host_bindings_loose.rs

@@ -1,47 +0,0 @@
-//TODO add docs after discussing the interface
-//Note that Craft currently does not honor the rounding modes
-#[allow(unused)]
-pub const FLOAT_ROUNDING_MODES_TO_NEAREST: i32 = 0;
-#[allow(unused)]
-pub const FLOAT_ROUNDING_MODES_TOWARDS_ZERO: i32 = 1;
-#[allow(unused)]
-pub const FLOAT_ROUNDING_MODES_DOWNWARD: i32 = 2;
-#[allow(unused)]
-pub const FLOAT_ROUNDING_MODES_UPWARD: i32 = 3;
-
-// pub enum RippledRoundingModes{
-//     ToNearest = 0,
-//     TowardsZero = 1,
-//     DOWNWARD = 2,
-//     UPWARD = 3
-// }
-
-#[allow(unused)]
-#[link(wasm_import_module = "host_lib")]
-unsafe extern "C" {
-    pub fn get_parent_ledger_hash(out_buff_ptr: i32, out_buff_len: i32) -> i32;
-
-    pub fn cache_ledger_obj(keylet_ptr: i32, keylet_len: i32, cache_num: i32) -> i32;
-
-    pub fn get_tx_nested_array_len(locator_ptr: i32, locator_len: i32) -> i32;
-
-    pub fn account_keylet(
-        account_ptr: i32,
-        account_len: i32,
-        out_buff_ptr: *mut u8,
-        out_buff_len: usize,
-    ) -> i32;
-
-    pub fn line_keylet(
-        account1_ptr: *const u8,
-        account1_len: usize,
-        account2_ptr: *const u8,
-        account2_len: usize,
-        currency_ptr: i32,
-        currency_len: i32,
-        out_buff_ptr: *mut u8,
-        out_buff_len: usize,
-    ) -> i32;
-
-    pub fn trace_num(msg_read_ptr: i32, msg_read_len: i32, number: i64) -> i32;
-}

src/test/app/wasm_fixtures/copyFixtures.py

@@ -1,125 +0,0 @@
-# cspell: disable
-import os
-import sys
-import subprocess
-import re
-
-OPT = "-Oz"
-
-
-def update_fixture(project_name, wasm):
-    fixture_name = (
-        re.sub(r"_([a-z])", lambda m: m.group(1).upper(), project_name) + "WasmHex"
-    )
-    print(f"Updating fixture: {fixture_name}")
-
-    cpp_path = os.path.abspath(os.path.join(os.path.dirname(__file__), "fixtures.cpp"))
-    h_path = os.path.abspath(os.path.join(os.path.dirname(__file__), "fixtures.h"))
-    with open(cpp_path, "r", encoding="utf8") as f:
-        cpp_content = f.read()
-
-    pattern = rf'extern std::string const {fixture_name} =[ \n]+"[^;]*;'
-    if re.search(pattern, cpp_content, flags=re.MULTILINE):
-        updated_cpp_content = re.sub(
-            pattern,
-            f'extern std::string const {fixture_name} = "{wasm}";',
-            cpp_content,
-            flags=re.MULTILINE,
-        )
-    else:
-        with open(h_path, "r", encoding="utf8") as f:
-            h_content = f.read()
-        updated_h_content = (
-            h_content.rstrip() + f"\n\n extern std::string const {fixture_name};\n"
-        )
-        with open(h_path, "w", encoding="utf8") as f:
-            f.write(updated_h_content)
-        updated_cpp_content = (
-            cpp_content.rstrip()
-            + f'\n\nextern std::string const {fixture_name} = "{wasm}";\n'
-        )
-
-    with open(cpp_path, "w", encoding="utf8") as f:
-        f.write(updated_cpp_content)
-
-
-def process_rust(project_name):
-    project_path = os.path.abspath(
-        os.path.join(os.path.dirname(__file__), project_name)
-    )
-    wasm_location = f"target/wasm32v1-none/release/{project_name}.wasm"
-    build_cmd = (
-        f"(cd {project_path} "
-        f"&& cargo build --target wasm32v1-none --release "
-        f"&& wasm-opt {wasm_location} {OPT} -o {wasm_location}"
-        ")"
-    )
-    try:
-        subprocess.run(build_cmd, shell=True, check=True)
-        print(f"WASM file for {project_name} has been built and optimized.")
-    except subprocess.CalledProcessError as e:
-        print(f"exec error: {e}")
-        sys.exit(1)
-
-    src_path = os.path.abspath(
-        os.path.join(
-            os.path.dirname(__file__),
-            f"{project_name}/target/wasm32v1-none/release/{project_name}.wasm",
-        )
-    )
-    with open(src_path, "rb") as f:
-        data = f.read()
-    wasm = data.hex()
-    update_fixture(project_name, wasm)
-
-
-def process_c(project_name):
-    project_path = os.path.abspath(
-        os.path.join(os.path.dirname(__file__), f"{project_name}.c")
-    )
-    wasm_path = os.path.abspath(
-        os.path.join(os.path.dirname(__file__), f"{project_name}.wasm")
-    )
-    build_cmd = (
-        f"$CC --sysroot=$SYSROOT "
-        f"-O3 -ffast-math --target=wasm32 -fno-exceptions -fno-threadsafe-statics -fvisibility=default -Wl,--export-all -Wl,--no-entry -Wl,--allow-undefined -DNDEBUG --no-standard-libraries -fno-builtin-memset "
-        f"-o {wasm_path} {project_path}"
-        f"&& wasm-opt {wasm_path} {OPT} -o {wasm_path}"
-    )
-    try:
-        subprocess.run(build_cmd, shell=True, check=True)
-        print(
-            f"WASM file for {project_name} has been built with WASI support using clang."
-        )
-    except subprocess.CalledProcessError as e:
-        print(f"exec error: {e}")
-        sys.exit(1)
-
-    with open(wasm_path, "rb") as f:
-        data = f.read()
-    wasm = data.hex()
-    update_fixture(project_name, wasm)
-
-
-if __name__ == "__main__":
-    if len(sys.argv) > 2:
-        print("Usage: python copyFixtures.py [<project_name>]")
-        sys.exit(1)
-    if len(sys.argv) == 2:
-        if os.path.isdir(os.path.join(os.path.dirname(__file__), sys.argv[1])):
-            process_rust(sys.argv[1])
-        else:
-            process_c(sys.argv[1])
-        print("Fixture has been processed.")
-    else:
-        dirs = [
-            d
-            for d in os.listdir(os.path.dirname(__file__))
-            if os.path.isdir(os.path.join(os.path.dirname(__file__), d))
-        ]
-        c_files = [f for f in os.listdir(os.path.dirname(__file__)) if f.endswith(".c")]
-        for d in dirs:
-            process_rust(d)
-        for c in c_files:
-            process_c(c[:-2])
-        print("All fixtures have been processed.")

src/test/app/wasm_fixtures/disableFloat.wat

@@ -1,34 +0,0 @@
-(module
-  (type (;0;) (func))
-  (type (;1;) (func (result i32)))
-  (func (;0;) (type 0))
-  (func (;1;) (type 1) (result i32)
-    f32.const -2048
-    f32.const 2050
-    f32.sub
-    drop
-    i32.const 1)
-  (memory (;0;) 2)
-  (global (;0;) i32 (i32.const 1024))
-  (global (;1;) i32 (i32.const 1024))
-  (global (;2;) i32 (i32.const 2048))
-  (global (;3;) i32 (i32.const 2048))
-  (global (;4;) i32 (i32.const 67584))
-  (global (;5;) i32 (i32.const 1024))
-  (global (;6;) i32 (i32.const 67584))
-  (global (;7;) i32 (i32.const 131072))
-  (global (;8;) i32 (i32.const 0))
-  (global (;9;) i32 (i32.const 1))
-  (export "memory" (memory 0))
-  (export "__wasm_call_ctors" (func 0))
-  (export "finish" (func 1))
-  (export "buf" (global 0))
-  (export "__dso_handle" (global 1))
-  (export "__data_end" (global 2))
-  (export "__stack_low" (global 3))
-  (export "__stack_high" (global 4))
-  (export "__global_base" (global 5))
-  (export "__heap_base" (global 6))
-  (export "__heap_end" (global 7))
-  (export "__memory_base" (global 8))
-  (export "__table_base" (global 9)))

src/test/app/wasm_fixtures/fib.c

@@ -1,11 +0,0 @@
-// typedef long long mint;
-typedef int mint;
-
-mint fib(mint n)
-{
-  if (!n)
-    return 0;
-  if (n <= 2)
-    return 1;
-  return fib(n - 1) + fib(n - 2);
-}

src/test/app/wasm_fixtures/fixtures.h

@@ -1,81 +0,0 @@
-#pragma once
-
-// TODO: consider moving these to separate files (and figure out the build)
-
-#include <string>
-
-extern std::string const ledgerSqnWasmHex;
-extern std::string const allHostFunctionsWasmHex;
-extern std::string const allKeyletsWasmHex;
-extern std::string const codecovTestsWasmHex;
-
-extern std::string const fibWasmHex;
-
-extern std::string const floatTestsWasmHex;
-extern std::string const float0Hex;
-extern std::string const disabledFloatHex;
-
-extern std::string const memoryPointerAtLimitHex;
-extern std::string const memoryPointerOverLimitHex;
-extern std::string const memoryOffsetOverLimitHex;
-extern std::string const memoryEndOfWordOverLimitHex;
-extern std::string const memoryGrow0To1PageHex;
-extern std::string const memoryGrow1To0PageHex;
-extern std::string const memoryLastByteOf8MBHex;
-extern std::string const memoryGrow1MoreThan8MBHex;
-extern std::string const memoryGrow0MoreThan8MBHex;
-extern std::string const memoryInit1MoreThan8MBHex;
-extern std::string const memoryNegativeAddressHex;
-
-extern std::string const table64ElementsHex;
-extern std::string const table65ElementsHex;
-extern std::string const table2TablesHex;
-extern std::string const table0ElementsHex;
-extern std::string const tableUintMaxHex;
-
-extern std::string const proposalMutableGlobalHex;
-extern std::string const proposalGcStructNewHex;
-extern std::string const proposalMultiValueHex;
-extern std::string const proposalSignExtHex;
-extern std::string const proposalFloatToIntHex;
-extern std::string const proposalBulkMemoryHex;
-extern std::string const proposalRefTypesHex;
-extern std::string const proposalTailCallHex;
-extern std::string const proposalExtendedConstHex;
-extern std::string const proposalMultiMemoryHex;
-extern std::string const proposalCustomPageSizesHex;
-extern std::string const proposalMemory64Hex;
-extern std::string const proposalWideArithmeticHex;
-
-extern std::string const trapDivideBy0Hex;
-extern std::string const trapIntOverflowHex;
-extern std::string const trapUnreachableHex;
-extern std::string const trapNullCallHex;
-extern std::string const trapFuncSigMismatchHex;
-
-extern std::string const wasiGetTimeHex;
-extern std::string const wasiPrintHex;
-
-extern std::string const badMagicNumberHex;
-extern std::string const badVersionNumberHex;
-extern std::string const lyingHeaderHex;
-extern std::string const neverEndingNumberHex;
-extern std::string const vectorLieHex;
-extern std::string const sectionOrderingHex;
-extern std::string const ghostPayloadHex;
-extern std::string const junkAfterSectionHex;
-extern std::string const invalidSectionIdHex;
-extern std::string const localVariableBombHex;
-
-extern std::string const deepRecursionHex;
-extern std::string const infiniteLoopWasmHex;
-extern std::string const startLoopHex;
-
-extern std::string const badAlignWasmHex;
-
-extern std::string const thousandParamsHex;
-extern std::string const thousand1ParamsHex;
-extern std::string const locals10kHex;
-extern std::string const functions5kHex;
-
-extern std::string const opcReservedHex;

src/test/app/wasm_fixtures/float_tests/Cargo.lock

@@ -1,171 +0,0 @@
-# This file is automatically @generated by Cargo.
-# It is not intended for manual editing.
-version = 4
-
-[[package]]
-name = "block-buffer"
-version = "0.10.4"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71"
-dependencies = [
- "generic-array",
-]
-
-[[package]]
-name = "bs58"
-version = "0.5.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bf88ba1141d185c399bee5288d850d63b8369520c1eafc32a0430b5b6c287bf4"
-dependencies = [
- "tinyvec",
-]
-
-[[package]]
-name = "cfg-if"
-version = "1.0.4"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
-
-[[package]]
-name = "cpufeatures"
-version = "0.2.17"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "59ed5838eebb26a2bb2e58f6d5b5316989ae9d08bab10e0e6d103e656d1b0280"
-dependencies = [
- "libc",
-]
-
-[[package]]
-name = "crypto-common"
-version = "0.1.6"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1bfb12502f3fc46cca1bb51ac28df9d618d813cdc3d2f25b9fe775a34af26bb3"
-dependencies = [
- "generic-array",
- "typenum",
-]
-
-[[package]]
-name = "digest"
-version = "0.10.7"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9ed9a281f7bc9b7576e61468ba615a66a5c8cfdff42420a70aa82701a3b1e292"
-dependencies = [
- "block-buffer",
- "crypto-common",
-]
-
-[[package]]
-name = "float_tests"
-version = "0.0.1"
-dependencies = [
- "xrpl-wasm-stdlib",
-]
-
-[[package]]
-name = "generic-array"
-version = "0.14.9"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4bb6743198531e02858aeaea5398fcc883e71851fcbcb5a2f773e2fb6cb1edf2"
-dependencies = [
- "typenum",
- "version_check",
-]
-
-[[package]]
-name = "libc"
-version = "0.2.177"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2874a2af47a2325c2001a6e6fad9b16a53b802102b528163885171cf92b15976"
-
-[[package]]
-name = "proc-macro2"
-version = "1.0.103"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5ee95bc4ef87b8d5ba32e8b7714ccc834865276eab0aed5c9958d00ec45f49e8"
-dependencies = [
- "unicode-ident",
-]
-
-[[package]]
-name = "quote"
-version = "1.0.41"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ce25767e7b499d1b604768e7cde645d14cc8584231ea6b295e9c9eb22c02e1d1"
-dependencies = [
- "proc-macro2",
-]
-
-[[package]]
-name = "sha2"
-version = "0.10.9"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a7507d819769d01a365ab707794a4084392c824f54a7a6a7862f8c3d0892b283"
-dependencies = [
- "cfg-if",
- "cpufeatures",
- "digest",
-]
-
-[[package]]
-name = "syn"
-version = "2.0.108"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "da58917d35242480a05c2897064da0a80589a2a0476c9a3f2fdc83b53502e917"
-dependencies = [
- "proc-macro2",
- "quote",
- "unicode-ident",
-]
-
-[[package]]
-name = "tinyvec"
-version = "1.10.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bfa5fdc3bce6191a1dbc8c02d5c8bffcf557bafa17c124c5264a458f1b0613fa"
-dependencies = [
- "tinyvec_macros",
-]
-
-[[package]]
-name = "tinyvec_macros"
-version = "0.1.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1f3ccbac311fea05f86f61904b462b55fb3df8837a366dfc601a0161d0532f20"
-
-[[package]]
-name = "typenum"
-version = "1.19.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "562d481066bde0658276a35467c4af00bdc6ee726305698a55b86e61d7ad82bb"
-
-[[package]]
-name = "unicode-ident"
-version = "1.0.22"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9312f7c4f6ff9069b165498234ce8be658059c6728633667c526e27dc2cf1df5"
-
-[[package]]
-name = "version_check"
-version = "0.9.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a"
-
-[[package]]
-name = "xrpl-address-macro"
-version = "0.7.1"
-source = "git+https://github.com/ripple/xrpl-wasm-stdlib.git?branch=u32-buffer#1e5d096f46742ef7fcf1cb6f28a2526a72ed59d8"
-dependencies = [
- "bs58",
- "quote",
- "sha2",
- "syn",
-]
-
-[[package]]
-name = "xrpl-wasm-stdlib"
-version = "0.7.1"
-source = "git+https://github.com/ripple/xrpl-wasm-stdlib.git?branch=u32-buffer#1e5d096f46742ef7fcf1cb6f28a2526a72ed59d8"
-dependencies = [
- "xrpl-address-macro",
-]

src/test/app/wasm_fixtures/float_tests/Cargo.toml

@@ -1,21 +0,0 @@
-[package]
-name = "float_tests"
-version = "0.0.1"
-edition = "2024"
-
-# This empty workspace definition keeps this project independent of the parent workspace
-[workspace]
-
-[lib]
-crate-type = ["cdylib"]
-
-[profile.release]
-lto = true
-opt-level = 's'
-panic = "abort"
-
-[dependencies]
-xrpl-std = { git = "https://github.com/ripple/xrpl-wasm-stdlib.git", package = "xrpl-wasm-stdlib", branch = "u32-buffer" }
-
-[profile.dev]
-panic = "abort"

src/test/app/wasm_fixtures/float_tests/src/lib.rs

@@ -1,461 +0,0 @@
-#![allow(unused_imports)]
-#![allow(unused_variables)]
-#![cfg_attr(target_arch = "wasm32", no_std)]
-
-#[cfg(not(target_arch = "wasm32"))]
-extern crate std;
-
-use xrpl_std::core::locator::Locator;
-use xrpl_std::core::types::opaque_float::{FLOAT_NEGATIVE_ONE, FLOAT_ONE};
-use xrpl_std::decode_hex_32;
-use xrpl_std::host::trace::DataRepr::AsHex;
-use xrpl_std::host::trace::{trace, trace_data, trace_float, trace_num, DataRepr};
-use xrpl_std::host::{
-    cache_ledger_obj, float_add, float_compare, float_divide, float_from_int, float_from_uint,
-    float_log, float_multiply, float_pow, float_root, float_set, float_subtract,
-    get_ledger_obj_array_len, get_ledger_obj_field, get_ledger_obj_nested_field,
-    trace_opaque_float, FLOAT_ROUNDING_MODES_TO_NEAREST,
-};
-use xrpl_std::sfield;
-use xrpl_std::sfield::{
-    Account, AccountTxnID, Balance, Domain, EmailHash, Flags, LedgerEntryType, MessageKey,
-    OwnerCount, PreviousTxnID, PreviousTxnLgrSeq, RegularKey, Sequence, TicketCount, TransferRate,
-};
-
-fn test_float_from_wasm() {
-    let _ = trace("\n$$$ test_float_from_wasm $$$");
-
-    let mut f: [u8; 8] = [0u8; 8];
-    if 8 == unsafe { float_from_int(12300, f.as_mut_ptr(), 8, FLOAT_ROUNDING_MODES_TO_NEAREST) } {
-        let _ = trace_float("  float from i64 12300:", &f);
-        let _ = trace_data("  float from i64 12300 as HEX:", &f, AsHex);
-    } else {
-        let _ = trace("  float from i64 12300: failed");
-    }
-
-    let u64_value: u64 = 12300;
-    if 8 == unsafe {
-        float_from_uint(
-            &u64_value as *const u64 as *const u8,
-            8,
-            f.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    } {
-        let _ = trace_float("  float from u64 12300:", &f);
-    } else {
-        let _ = trace("  float from u64 12300: failed");
-    }
-
-    if 8 == unsafe { float_set(2, 123, f.as_mut_ptr(), 8, FLOAT_ROUNDING_MODES_TO_NEAREST) } {
-        let _ = trace_float("  float from exp 2, mantissa 123:", &f);
-    } else {
-        let _ = trace("  float from exp 2, mantissa 3: failed");
-    }
-
-    let _ = trace_float("  float from const 1:", &FLOAT_ONE);
-    let _ = trace_float("  float from const -1:", &FLOAT_NEGATIVE_ONE);
-}
-
-fn test_float_compare() {
-    let _ = trace("\n$$$ test_float_compare $$$");
-
-    let mut f1: [u8; 8] = [0u8; 8];
-    if 8 != unsafe { float_from_int(1, f1.as_mut_ptr(), 8, FLOAT_ROUNDING_MODES_TO_NEAREST) } {
-        let _ = trace("  float from 1: failed");
-    } else {
-        let _ = trace_float("  float from 1:", &f1);
-    }
-
-    if 0 == unsafe { float_compare(f1.as_ptr(), 8, FLOAT_ONE.as_ptr(), 8) } {
-        let _ = trace("  float from 1 == FLOAT_ONE");
-    } else {
-        let _ = trace("  float from 1 != FLOAT_ONE");
-    }
-
-    if 1 == unsafe { float_compare(f1.as_ptr(), 8, FLOAT_NEGATIVE_ONE.as_ptr(), 8) } {
-        let _ = trace("  float from 1 > FLOAT_NEGATIVE_ONE");
-    } else {
-        let _ = trace("  float from 1 !> FLOAT_NEGATIVE_ONE");
-    }
-
-    if 2 == unsafe { float_compare(FLOAT_NEGATIVE_ONE.as_ptr(), 8, f1.as_ptr(), 8) } {
-        let _ = trace("  FLOAT_NEGATIVE_ONE < float from 1");
-    } else {
-        let _ = trace("  FLOAT_NEGATIVE_ONE !< float from 1");
-    }
-}
-
-fn test_float_add_subtract() {
-    let _ = trace("\n$$$ test_float_add_subtract $$$");
-
-    let mut f_compute: [u8; 8] = FLOAT_ONE;
-    for i in 0..9 {
-        unsafe {
-            float_add(
-                f_compute.as_ptr(),
-                8,
-                FLOAT_ONE.as_ptr(),
-                8,
-                f_compute.as_mut_ptr(),
-                8,
-                FLOAT_ROUNDING_MODES_TO_NEAREST,
-            )
-        };
-        // let _ = trace_float("  float:", &f_compute);
-    }
-    let mut f10: [u8; 8] = [0u8; 8];
-    if 8 != unsafe { float_from_int(10, f10.as_mut_ptr(), 8, FLOAT_ROUNDING_MODES_TO_NEAREST) } {
-        // let _ = trace("  float from 10: failed");
-    }
-    if 0 == unsafe { float_compare(f10.as_ptr(), 8, f_compute.as_ptr(), 8) } {
-        let _ = trace("  repeated add: good");
-    } else {
-        let _ = trace("  repeated add: bad");
-    }
-
-    for i in 0..11 {
-        unsafe {
-            float_subtract(
-                f_compute.as_ptr(),
-                8,
-                FLOAT_ONE.as_ptr(),
-                8,
-                f_compute.as_mut_ptr(),
-                8,
-                FLOAT_ROUNDING_MODES_TO_NEAREST,
-            )
-        };
-    }
-    if 0 == unsafe { float_compare(f_compute.as_ptr(), 8, FLOAT_NEGATIVE_ONE.as_ptr(), 8) } {
-        let _ = trace("  repeated subtract: good");
-    } else {
-        let _ = trace("  repeated subtract: bad");
-    }
-}
-
-fn test_float_multiply_divide() {
-    let _ = trace("\n$$$ test_float_multiply_divide $$$");
-
-    let mut f10: [u8; 8] = [0u8; 8];
-    unsafe { float_from_int(10, f10.as_mut_ptr(), 8, FLOAT_ROUNDING_MODES_TO_NEAREST) };
-    let mut f_compute: [u8; 8] = FLOAT_ONE;
-    for i in 0..6 {
-        unsafe {
-            float_multiply(
-                f_compute.as_ptr(),
-                8,
-                f10.as_ptr(),
-                8,
-                f_compute.as_mut_ptr(),
-                8,
-                FLOAT_ROUNDING_MODES_TO_NEAREST,
-            )
-        };
-        // let _ = trace_float("  float:", &f_compute);
-    }
-    let mut f1000000: [u8; 8] = [0u8; 8];
-    unsafe {
-        float_from_int(
-            1000000,
-            f1000000.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-
-    if 0 == unsafe { float_compare(f1000000.as_ptr(), 8, f_compute.as_ptr(), 8) } {
-        let _ = trace("  repeated multiply: good");
-    } else {
-        let _ = trace("  repeated multiply: bad");
-    }
-
-    for i in 0..7 {
-        unsafe {
-            float_divide(
-                f_compute.as_ptr(),
-                8,
-                f10.as_ptr(),
-                8,
-                f_compute.as_mut_ptr(),
-                8,
-                FLOAT_ROUNDING_MODES_TO_NEAREST,
-            )
-        };
-    }
-    let mut f01: [u8; 8] = [0u8; 8];
-    unsafe { float_set(-1, 1, f01.as_mut_ptr(), 8, FLOAT_ROUNDING_MODES_TO_NEAREST) };
-
-    if 0 == unsafe { float_compare(f_compute.as_ptr(), 8, f01.as_ptr(), 8) } {
-        let _ = trace("  repeated divide: good");
-    } else {
-        let _ = trace("  repeated divide: bad");
-    }
-}
-
-fn test_float_pow() {
-    let _ = trace("\n$$$ test_float_pow $$$");
-
-    let mut f_compute: [u8; 8] = [0u8; 8];
-    unsafe {
-        float_pow(
-            FLOAT_ONE.as_ptr(),
-            8,
-            3,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    let _ = trace_float("  float cube of 1:", &f_compute);
-
-    unsafe {
-        float_pow(
-            FLOAT_NEGATIVE_ONE.as_ptr(),
-            8,
-            6,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    let _ = trace_float("  float 6th power of -1:", &f_compute);
-
-    let mut f9: [u8; 8] = [0u8; 8];
-    unsafe { float_from_int(9, f9.as_mut_ptr(), 8, FLOAT_ROUNDING_MODES_TO_NEAREST) };
-    unsafe {
-        float_pow(
-            f9.as_ptr(),
-            8,
-            2,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    let _ = trace_float("  float square of 9:", &f_compute);
-
-    unsafe {
-        float_pow(
-            f9.as_ptr(),
-            8,
-            0,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    let _ = trace_float("  float 0th power of 9:", &f_compute);
-
-    let mut f0: [u8; 8] = [0u8; 8];
-    unsafe { float_from_int(0, f0.as_mut_ptr(), 8, FLOAT_ROUNDING_MODES_TO_NEAREST) };
-    unsafe {
-        float_pow(
-            f0.as_ptr(),
-            8,
-            2,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    let _ = trace_float("  float square of 0:", &f_compute);
-
-    let r = unsafe {
-        float_pow(
-            f0.as_ptr(),
-            8,
-            0,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    let _ = trace_num(
-        "  float 0th power of 0 (expecting INVALID_PARAMS error):",
-        r as i64,
-    );
-}
-
-fn test_float_root() {
-    let _ = trace("\n$$$ test_float_root $$$");
-
-    let mut f9: [u8; 8] = [0u8; 8];
-    unsafe { float_from_int(9, f9.as_mut_ptr(), 8, FLOAT_ROUNDING_MODES_TO_NEAREST) };
-    let mut f_compute: [u8; 8] = [0u8; 8];
-    unsafe {
-        float_root(
-            f9.as_ptr(),
-            8,
-            2,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    let _ = trace_float("  float sqrt of 9:", &f_compute);
-    unsafe {
-        float_root(
-            f9.as_ptr(),
-            8,
-            3,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    let _ = trace_float("  float cbrt of 9:", &f_compute);
-
-    let mut f1000000: [u8; 8] = [0u8; 8];
-    unsafe {
-        float_from_int(
-            1000000,
-            f1000000.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    unsafe {
-        float_root(
-            f1000000.as_ptr(),
-            8,
-            3,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    let _ = trace_float("  float cbrt of 1000000:", &f_compute);
-    unsafe {
-        float_root(
-            f1000000.as_ptr(),
-            8,
-            6,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    let _ = trace_float("  float 6th root of 1000000:", &f_compute);
-}
-
-fn test_float_log() {
-    let _ = trace("\n$$$ test_float_log $$$");
-
-    let mut f1000000: [u8; 8] = [0u8; 8];
-    unsafe {
-        float_from_int(
-            1000000,
-            f1000000.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    let mut f_compute: [u8; 8] = [0u8; 8];
-    unsafe {
-        float_log(
-            f1000000.as_ptr(),
-            8,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    let _ = trace_float("  log_10 of 1000000:", &f_compute);
-}
-
-fn test_float_negate() {
-    let _ = trace("\n$$$ test_float_negate $$$");
-
-    let mut f_compute: [u8; 8] = [0u8; 8];
-    unsafe {
-        float_multiply(
-            FLOAT_ONE.as_ptr(),
-            8,
-            FLOAT_NEGATIVE_ONE.as_ptr(),
-            8,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    // let _ = trace_float("  float:", &f_compute);
-    if 0 == unsafe { float_compare(FLOAT_NEGATIVE_ONE.as_ptr(), 8, f_compute.as_ptr(), 8) } {
-        let _ = trace("  negate const 1: good");
-    } else {
-        let _ = trace("  negate const 1: bad");
-    }
-
-    unsafe {
-        float_multiply(
-            FLOAT_NEGATIVE_ONE.as_ptr(),
-            8,
-            FLOAT_NEGATIVE_ONE.as_ptr(),
-            8,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    // let _ = trace_float("  float:", &f_compute);
-    if 0 == unsafe { float_compare(FLOAT_ONE.as_ptr(), 8, f_compute.as_ptr(), 8) } {
-        let _ = trace("  negate const -1: good");
-    } else {
-        let _ = trace("  negate const -1: bad");
-    }
-}
-
-fn test_float_invert() {
-    let _ = trace("\n$$$ test_float_invert $$$");
-
-    let mut f_compute: [u8; 8] = [0u8; 8];
-    let mut f10: [u8; 8] = [0u8; 8];
-    unsafe { float_from_int(10, f10.as_mut_ptr(), 8, FLOAT_ROUNDING_MODES_TO_NEAREST) };
-    unsafe {
-        float_divide(
-            FLOAT_ONE.as_ptr(),
-            8,
-            f10.as_ptr(),
-            8,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    let _ = trace_float("  invert a float from 10:", &f_compute);
-    unsafe {
-        float_divide(
-            FLOAT_ONE.as_ptr(),
-            8,
-            f_compute.as_ptr(),
-            8,
-            f_compute.as_mut_ptr(),
-            8,
-            FLOAT_ROUNDING_MODES_TO_NEAREST,
-        )
-    };
-    let _ = trace_float("  invert again:", &f_compute);
-
-    // if f10's value is 7, then invert twice won't match the original value
-    if 0 == unsafe { float_compare(f10.as_ptr(), 8, f_compute.as_ptr(), 8) } {
-        let _ = trace("  invert twice: good");
-    } else {
-        let _ = trace("  invert twice: bad");
-    }
-}
-
-#[unsafe(no_mangle)]
-pub extern "C" fn finish() -> i32 {
-    test_float_from_wasm();
-    test_float_compare();
-    test_float_add_subtract();
-    test_float_multiply_divide();
-    test_float_pow();
-    test_float_root();
-    test_float_log();
-    test_float_negate();
-    test_float_invert();
-
-    1
-}

src/test/app/wasm_fixtures/infiniteLoop.c

@@ -1,7 +0,0 @@
-int loop()
-{
-  int volatile x = 0;
-  while (1)
-    x++;
-  return x;
-}

src/test/app/wasm_fixtures/ledgerSqn.c

@@ -1,14 +0,0 @@
-#include <stdint.h>
-
-int32_t get_ledger_sqn(uint8_t *, int32_t);
-
-int finish()
-{
-  uint32_t sqn;
-  int32_t result = get_ledger_sqn((uint8_t *)&sqn, sizeof(sqn));
-
-  if (result < 0)
-    return result;
-
-  return sqn >= 5 ? 5 : 0;
-}

src/test/app/wasm_fixtures/thousand1_params.c

@@ -1,264 +0,0 @@
-// clang-format off
-
-#include <stdint.h>
-
-int32_t test(
-  int32_t p0, int32_t p1, int32_t p2, int32_t p3, int32_t p4, int32_t p5, int32_t p6, int32_t p7
-, int32_t p8, int32_t p9, int32_t p10, int32_t p11, int32_t p12, int32_t p13, int32_t p14, int32_t p15
-, int32_t p16, int32_t p17, int32_t p18, int32_t p19, int32_t p20, int32_t p21, int32_t p22, int32_t p23
-, int32_t p24, int32_t p25, int32_t p26, int32_t p27, int32_t p28, int32_t p29, int32_t p30, int32_t p31
-, int32_t p32, int32_t p33, int32_t p34, int32_t p35, int32_t p36, int32_t p37, int32_t p38, int32_t p39
-, int32_t p40, int32_t p41, int32_t p42, int32_t p43, int32_t p44, int32_t p45, int32_t p46, int32_t p47
-, int32_t p48, int32_t p49, int32_t p50, int32_t p51, int32_t p52, int32_t p53, int32_t p54, int32_t p55
-, int32_t p56, int32_t p57, int32_t p58, int32_t p59, int32_t p60, int32_t p61, int32_t p62, int32_t p63
-, int32_t p64, int32_t p65, int32_t p66, int32_t p67, int32_t p68, int32_t p69, int32_t p70, int32_t p71
-, int32_t p72, int32_t p73, int32_t p74, int32_t p75, int32_t p76, int32_t p77, int32_t p78, int32_t p79
-, int32_t p80, int32_t p81, int32_t p82, int32_t p83, int32_t p84, int32_t p85, int32_t p86, int32_t p87
-, int32_t p88, int32_t p89, int32_t p90, int32_t p91, int32_t p92, int32_t p93, int32_t p94, int32_t p95
-, int32_t p96, int32_t p97, int32_t p98, int32_t p99, int32_t p100, int32_t p101, int32_t p102, int32_t p103
-, int32_t p104, int32_t p105, int32_t p106, int32_t p107, int32_t p108, int32_t p109, int32_t p110, int32_t p111
-, int32_t p112, int32_t p113, int32_t p114, int32_t p115, int32_t p116, int32_t p117, int32_t p118, int32_t p119
-, int32_t p120, int32_t p121, int32_t p122, int32_t p123, int32_t p124, int32_t p125, int32_t p126, int32_t p127
-, int32_t p128, int32_t p129, int32_t p130, int32_t p131, int32_t p132, int32_t p133, int32_t p134, int32_t p135
-, int32_t p136, int32_t p137, int32_t p138, int32_t p139, int32_t p140, int32_t p141, int32_t p142, int32_t p143
-, int32_t p144, int32_t p145, int32_t p146, int32_t p147, int32_t p148, int32_t p149, int32_t p150, int32_t p151
-, int32_t p152, int32_t p153, int32_t p154, int32_t p155, int32_t p156, int32_t p157, int32_t p158, int32_t p159
-, int32_t p160, int32_t p161, int32_t p162, int32_t p163, int32_t p164, int32_t p165, int32_t p166, int32_t p167
-, int32_t p168, int32_t p169, int32_t p170, int32_t p171, int32_t p172, int32_t p173, int32_t p174, int32_t p175
-, int32_t p176, int32_t p177, int32_t p178, int32_t p179, int32_t p180, int32_t p181, int32_t p182, int32_t p183
-, int32_t p184, int32_t p185, int32_t p186, int32_t p187, int32_t p188, int32_t p189, int32_t p190, int32_t p191
-, int32_t p192, int32_t p193, int32_t p194, int32_t p195, int32_t p196, int32_t p197, int32_t p198, int32_t p199
-, int32_t p200, int32_t p201, int32_t p202, int32_t p203, int32_t p204, int32_t p205, int32_t p206, int32_t p207
-, int32_t p208, int32_t p209, int32_t p210, int32_t p211, int32_t p212, int32_t p213, int32_t p214, int32_t p215
-, int32_t p216, int32_t p217, int32_t p218, int32_t p219, int32_t p220, int32_t p221, int32_t p222, int32_t p223
-, int32_t p224, int32_t p225, int32_t p226, int32_t p227, int32_t p228, int32_t p229, int32_t p230, int32_t p231
-, int32_t p232, int32_t p233, int32_t p234, int32_t p235, int32_t p236, int32_t p237, int32_t p238, int32_t p239
-, int32_t p240, int32_t p241, int32_t p242, int32_t p243, int32_t p244, int32_t p245, int32_t p246, int32_t p247
-, int32_t p248, int32_t p249, int32_t p250, int32_t p251, int32_t p252, int32_t p253, int32_t p254, int32_t p255
-, int32_t p256, int32_t p257, int32_t p258, int32_t p259, int32_t p260, int32_t p261, int32_t p262, int32_t p263
-, int32_t p264, int32_t p265, int32_t p266, int32_t p267, int32_t p268, int32_t p269, int32_t p270, int32_t p271
-, int32_t p272, int32_t p273, int32_t p274, int32_t p275, int32_t p276, int32_t p277, int32_t p278, int32_t p279
-, int32_t p280, int32_t p281, int32_t p282, int32_t p283, int32_t p284, int32_t p285, int32_t p286, int32_t p287
-, int32_t p288, int32_t p289, int32_t p290, int32_t p291, int32_t p292, int32_t p293, int32_t p294, int32_t p295
-, int32_t p296, int32_t p297, int32_t p298, int32_t p299, int32_t p300, int32_t p301, int32_t p302, int32_t p303
-, int32_t p304, int32_t p305, int32_t p306, int32_t p307, int32_t p308, int32_t p309, int32_t p310, int32_t p311
-, int32_t p312, int32_t p313, int32_t p314, int32_t p315, int32_t p316, int32_t p317, int32_t p318, int32_t p319
-, int32_t p320, int32_t p321, int32_t p322, int32_t p323, int32_t p324, int32_t p325, int32_t p326, int32_t p327
-, int32_t p328, int32_t p329, int32_t p330, int32_t p331, int32_t p332, int32_t p333, int32_t p334, int32_t p335
-, int32_t p336, int32_t p337, int32_t p338, int32_t p339, int32_t p340, int32_t p341, int32_t p342, int32_t p343
-, int32_t p344, int32_t p345, int32_t p346, int32_t p347, int32_t p348, int32_t p349, int32_t p350, int32_t p351
-, int32_t p352, int32_t p353, int32_t p354, int32_t p355, int32_t p356, int32_t p357, int32_t p358, int32_t p359
-, int32_t p360, int32_t p361, int32_t p362, int32_t p363, int32_t p364, int32_t p365, int32_t p366, int32_t p367
-, int32_t p368, int32_t p369, int32_t p370, int32_t p371, int32_t p372, int32_t p373, int32_t p374, int32_t p375
-, int32_t p376, int32_t p377, int32_t p378, int32_t p379, int32_t p380, int32_t p381, int32_t p382, int32_t p383
-, int32_t p384, int32_t p385, int32_t p386, int32_t p387, int32_t p388, int32_t p389, int32_t p390, int32_t p391
-, int32_t p392, int32_t p393, int32_t p394, int32_t p395, int32_t p396, int32_t p397, int32_t p398, int32_t p399
-, int32_t p400, int32_t p401, int32_t p402, int32_t p403, int32_t p404, int32_t p405, int32_t p406, int32_t p407
-, int32_t p408, int32_t p409, int32_t p410, int32_t p411, int32_t p412, int32_t p413, int32_t p414, int32_t p415
-, int32_t p416, int32_t p417, int32_t p418, int32_t p419, int32_t p420, int32_t p421, int32_t p422, int32_t p423
-, int32_t p424, int32_t p425, int32_t p426, int32_t p427, int32_t p428, int32_t p429, int32_t p430, int32_t p431
-, int32_t p432, int32_t p433, int32_t p434, int32_t p435, int32_t p436, int32_t p437, int32_t p438, int32_t p439
-, int32_t p440, int32_t p441, int32_t p442, int32_t p443, int32_t p444, int32_t p445, int32_t p446, int32_t p447
-, int32_t p448, int32_t p449, int32_t p450, int32_t p451, int32_t p452, int32_t p453, int32_t p454, int32_t p455
-, int32_t p456, int32_t p457, int32_t p458, int32_t p459, int32_t p460, int32_t p461, int32_t p462, int32_t p463
-, int32_t p464, int32_t p465, int32_t p466, int32_t p467, int32_t p468, int32_t p469, int32_t p470, int32_t p471
-, int32_t p472, int32_t p473, int32_t p474, int32_t p475, int32_t p476, int32_t p477, int32_t p478, int32_t p479
-, int32_t p480, int32_t p481, int32_t p482, int32_t p483, int32_t p484, int32_t p485, int32_t p486, int32_t p487
-, int32_t p488, int32_t p489, int32_t p490, int32_t p491, int32_t p492, int32_t p493, int32_t p494, int32_t p495
-, int32_t p496, int32_t p497, int32_t p498, int32_t p499, int32_t p500, int32_t p501, int32_t p502, int32_t p503
-, int32_t p504, int32_t p505, int32_t p506, int32_t p507, int32_t p508, int32_t p509, int32_t p510, int32_t p511
-, int32_t p512, int32_t p513, int32_t p514, int32_t p515, int32_t p516, int32_t p517, int32_t p518, int32_t p519
-, int32_t p520, int32_t p521, int32_t p522, int32_t p523, int32_t p524, int32_t p525, int32_t p526, int32_t p527
-, int32_t p528, int32_t p529, int32_t p530, int32_t p531, int32_t p532, int32_t p533, int32_t p534, int32_t p535
-, int32_t p536, int32_t p537, int32_t p538, int32_t p539, int32_t p540, int32_t p541, int32_t p542, int32_t p543
-, int32_t p544, int32_t p545, int32_t p546, int32_t p547, int32_t p548, int32_t p549, int32_t p550, int32_t p551
-, int32_t p552, int32_t p553, int32_t p554, int32_t p555, int32_t p556, int32_t p557, int32_t p558, int32_t p559
-, int32_t p560, int32_t p561, int32_t p562, int32_t p563, int32_t p564, int32_t p565, int32_t p566, int32_t p567
-, int32_t p568, int32_t p569, int32_t p570, int32_t p571, int32_t p572, int32_t p573, int32_t p574, int32_t p575
-, int32_t p576, int32_t p577, int32_t p578, int32_t p579, int32_t p580, int32_t p581, int32_t p582, int32_t p583
-, int32_t p584, int32_t p585, int32_t p586, int32_t p587, int32_t p588, int32_t p589, int32_t p590, int32_t p591
-, int32_t p592, int32_t p593, int32_t p594, int32_t p595, int32_t p596, int32_t p597, int32_t p598, int32_t p599
-, int32_t p600, int32_t p601, int32_t p602, int32_t p603, int32_t p604, int32_t p605, int32_t p606, int32_t p607
-, int32_t p608, int32_t p609, int32_t p610, int32_t p611, int32_t p612, int32_t p613, int32_t p614, int32_t p615
-, int32_t p616, int32_t p617, int32_t p618, int32_t p619, int32_t p620, int32_t p621, int32_t p622, int32_t p623
-, int32_t p624, int32_t p625, int32_t p626, int32_t p627, int32_t p628, int32_t p629, int32_t p630, int32_t p631
-, int32_t p632, int32_t p633, int32_t p634, int32_t p635, int32_t p636, int32_t p637, int32_t p638, int32_t p639
-, int32_t p640, int32_t p641, int32_t p642, int32_t p643, int32_t p644, int32_t p645, int32_t p646, int32_t p647
-, int32_t p648, int32_t p649, int32_t p650, int32_t p651, int32_t p652, int32_t p653, int32_t p654, int32_t p655
-, int32_t p656, int32_t p657, int32_t p658, int32_t p659, int32_t p660, int32_t p661, int32_t p662, int32_t p663
-, int32_t p664, int32_t p665, int32_t p666, int32_t p667, int32_t p668, int32_t p669, int32_t p670, int32_t p671
-, int32_t p672, int32_t p673, int32_t p674, int32_t p675, int32_t p676, int32_t p677, int32_t p678, int32_t p679
-, int32_t p680, int32_t p681, int32_t p682, int32_t p683, int32_t p684, int32_t p685, int32_t p686, int32_t p687
-, int32_t p688, int32_t p689, int32_t p690, int32_t p691, int32_t p692, int32_t p693, int32_t p694, int32_t p695
-, int32_t p696, int32_t p697, int32_t p698, int32_t p699, int32_t p700, int32_t p701, int32_t p702, int32_t p703
-, int32_t p704, int32_t p705, int32_t p706, int32_t p707, int32_t p708, int32_t p709, int32_t p710, int32_t p711
-, int32_t p712, int32_t p713, int32_t p714, int32_t p715, int32_t p716, int32_t p717, int32_t p718, int32_t p719
-, int32_t p720, int32_t p721, int32_t p722, int32_t p723, int32_t p724, int32_t p725, int32_t p726, int32_t p727
-, int32_t p728, int32_t p729, int32_t p730, int32_t p731, int32_t p732, int32_t p733, int32_t p734, int32_t p735
-, int32_t p736, int32_t p737, int32_t p738, int32_t p739, int32_t p740, int32_t p741, int32_t p742, int32_t p743
-, int32_t p744, int32_t p745, int32_t p746, int32_t p747, int32_t p748, int32_t p749, int32_t p750, int32_t p751
-, int32_t p752, int32_t p753, int32_t p754, int32_t p755, int32_t p756, int32_t p757, int32_t p758, int32_t p759
-, int32_t p760, int32_t p761, int32_t p762, int32_t p763, int32_t p764, int32_t p765, int32_t p766, int32_t p767
-, int32_t p768, int32_t p769, int32_t p770, int32_t p771, int32_t p772, int32_t p773, int32_t p774, int32_t p775
-, int32_t p776, int32_t p777, int32_t p778, int32_t p779, int32_t p780, int32_t p781, int32_t p782, int32_t p783
-, int32_t p784, int32_t p785, int32_t p786, int32_t p787, int32_t p788, int32_t p789, int32_t p790, int32_t p791
-, int32_t p792, int32_t p793, int32_t p794, int32_t p795, int32_t p796, int32_t p797, int32_t p798, int32_t p799
-, int32_t p800, int32_t p801, int32_t p802, int32_t p803, int32_t p804, int32_t p805, int32_t p806, int32_t p807
-, int32_t p808, int32_t p809, int32_t p810, int32_t p811, int32_t p812, int32_t p813, int32_t p814, int32_t p815
-, int32_t p816, int32_t p817, int32_t p818, int32_t p819, int32_t p820, int32_t p821, int32_t p822, int32_t p823
-, int32_t p824, int32_t p825, int32_t p826, int32_t p827, int32_t p828, int32_t p829, int32_t p830, int32_t p831
-, int32_t p832, int32_t p833, int32_t p834, int32_t p835, int32_t p836, int32_t p837, int32_t p838, int32_t p839
-, int32_t p840, int32_t p841, int32_t p842, int32_t p843, int32_t p844, int32_t p845, int32_t p846, int32_t p847
-, int32_t p848, int32_t p849, int32_t p850, int32_t p851, int32_t p852, int32_t p853, int32_t p854, int32_t p855
-, int32_t p856, int32_t p857, int32_t p858, int32_t p859, int32_t p860, int32_t p861, int32_t p862, int32_t p863
-, int32_t p864, int32_t p865, int32_t p866, int32_t p867, int32_t p868, int32_t p869, int32_t p870, int32_t p871
-, int32_t p872, int32_t p873, int32_t p874, int32_t p875, int32_t p876, int32_t p877, int32_t p878, int32_t p879
-, int32_t p880, int32_t p881, int32_t p882, int32_t p883, int32_t p884, int32_t p885, int32_t p886, int32_t p887
-, int32_t p888, int32_t p889, int32_t p890, int32_t p891, int32_t p892, int32_t p893, int32_t p894, int32_t p895
-, int32_t p896, int32_t p897, int32_t p898, int32_t p899, int32_t p900, int32_t p901, int32_t p902, int32_t p903
-, int32_t p904, int32_t p905, int32_t p906, int32_t p907, int32_t p908, int32_t p909, int32_t p910, int32_t p911
-, int32_t p912, int32_t p913, int32_t p914, int32_t p915, int32_t p916, int32_t p917, int32_t p918, int32_t p919
-, int32_t p920, int32_t p921, int32_t p922, int32_t p923, int32_t p924, int32_t p925, int32_t p926, int32_t p927
-, int32_t p928, int32_t p929, int32_t p930, int32_t p931, int32_t p932, int32_t p933, int32_t p934, int32_t p935
-, int32_t p936, int32_t p937, int32_t p938, int32_t p939, int32_t p940, int32_t p941, int32_t p942, int32_t p943
-, int32_t p944, int32_t p945, int32_t p946, int32_t p947, int32_t p948, int32_t p949, int32_t p950, int32_t p951
-, int32_t p952, int32_t p953, int32_t p954, int32_t p955, int32_t p956, int32_t p957, int32_t p958, int32_t p959
-, int32_t p960, int32_t p961, int32_t p962, int32_t p963, int32_t p964, int32_t p965, int32_t p966, int32_t p967
-, int32_t p968, int32_t p969, int32_t p970, int32_t p971, int32_t p972, int32_t p973, int32_t p974, int32_t p975
-, int32_t p976, int32_t p977, int32_t p978, int32_t p979, int32_t p980, int32_t p981, int32_t p982, int32_t p983
-, int32_t p984, int32_t p985, int32_t p986, int32_t p987, int32_t p988, int32_t p989, int32_t p990, int32_t p991
-, int32_t p992, int32_t p993, int32_t p994, int32_t p995, int32_t p996, int32_t p997, int32_t p998, int32_t p999
-, int32_t p1000
-)
-{
-    int32_t x;
-    x = p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7
- + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15
- + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23
- + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31
- + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39
- + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47
- + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55
- + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63
- + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71
- + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79
- + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87
- + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95
- + p96 + p97 + p98 + p99 + p100 + p101 + p102 + p103
- + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111
- + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119
- + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127
- + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135
- + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143
- + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151
- + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159
- + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167
- + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175
- + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183
- + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191
- + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199
- + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207
- + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215
- + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223
- + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231
- + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239
- + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247
- + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255
- + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263
- + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271
- + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279
- + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287
- + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295
- + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303
- + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311
- + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319
- + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327
- + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335
- + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343
- + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351
- + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359
- + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367
- + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375
- + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383
- + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391
- + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399
- + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407
- + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415
- + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423
- + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431
- + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439
- + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447
- + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455
- + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463
- + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471
- + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479
- + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487
- + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495
- + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503
- + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511
- + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519
- + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527
- + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535
- + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543
- + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551
- + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559
- + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567
- + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575
- + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583
- + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591
- + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599
- + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607
- + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615
- + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623
- + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631
- + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639
- + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647
- + p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655
- + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663
- + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671
- + p672 + p673 + p674 + p675 + p676 + p677 + p678 + p679
- + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687
- + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695
- + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703
- + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711
- + p712 + p713 + p714 + p715 + p716 + p717 + p718 + p719
- + p720 + p721 + p722 + p723 + p724 + p725 + p726 + p727
- + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735
- + p736 + p737 + p738 + p739 + p740 + p741 + p742 + p743
- + p744 + p745 + p746 + p747 + p748 + p749 + p750 + p751
- + p752 + p753 + p754 + p755 + p756 + p757 + p758 + p759
- + p760 + p761 + p762 + p763 + p764 + p765 + p766 + p767
- + p768 + p769 + p770 + p771 + p772 + p773 + p774 + p775
- + p776 + p777 + p778 + p779 + p780 + p781 + p782 + p783
- + p784 + p785 + p786 + p787 + p788 + p789 + p790 + p791
- + p792 + p793 + p794 + p795 + p796 + p797 + p798 + p799
- + p800 + p801 + p802 + p803 + p804 + p805 + p806 + p807
- + p808 + p809 + p810 + p811 + p812 + p813 + p814 + p815
- + p816 + p817 + p818 + p819 + p820 + p821 + p822 + p823
- + p824 + p825 + p826 + p827 + p828 + p829 + p830 + p831
- + p832 + p833 + p834 + p835 + p836 + p837 + p838 + p839
- + p840 + p841 + p842 + p843 + p844 + p845 + p846 + p847
- + p848 + p849 + p850 + p851 + p852 + p853 + p854 + p855
- + p856 + p857 + p858 + p859 + p860 + p861 + p862 + p863
- + p864 + p865 + p866 + p867 + p868 + p869 + p870 + p871
- + p872 + p873 + p874 + p875 + p876 + p877 + p878 + p879
- + p880 + p881 + p882 + p883 + p884 + p885 + p886 + p887
- + p888 + p889 + p890 + p891 + p892 + p893 + p894 + p895
- + p896 + p897 + p898 + p899 + p900 + p901 + p902 + p903
- + p904 + p905 + p906 + p907 + p908 + p909 + p910 + p911
- + p912 + p913 + p914 + p915 + p916 + p917 + p918 + p919
- + p920 + p921 + p922 + p923 + p924 + p925 + p926 + p927
- + p928 + p929 + p930 + p931 + p932 + p933 + p934 + p935
- + p936 + p937 + p938 + p939 + p940 + p941 + p942 + p943
- + p944 + p945 + p946 + p947 + p948 + p949 + p950 + p951
- + p952 + p953 + p954 + p955 + p956 + p957 + p958 + p959
- + p960 + p961 + p962 + p963 + p964 + p965 + p966 + p967
- + p968 + p969 + p970 + p971 + p972 + p973 + p974 + p975
- + p976 + p977 + p978 + p979 + p980 + p981 + p982 + p983
- + p984 + p985 + p986 + p987 + p988 + p989 + p990 + p991
- + p992 + p993 + p994 + p995 + p996 + p997 + p998 + p999
- + p1000;
-    return x;
-}
-
-// clang-format on

src/test/app/wasm_fixtures/thousand_params.c

@@ -1,262 +0,0 @@
-// clang-format off
-
-#include <stdint.h>
-
-int32_t test(
-  int32_t p0, int32_t p1, int32_t p2, int32_t p3, int32_t p4, int32_t p5, int32_t p6, int32_t p7
-, int32_t p8, int32_t p9, int32_t p10, int32_t p11, int32_t p12, int32_t p13, int32_t p14, int32_t p15
-, int32_t p16, int32_t p17, int32_t p18, int32_t p19, int32_t p20, int32_t p21, int32_t p22, int32_t p23
-, int32_t p24, int32_t p25, int32_t p26, int32_t p27, int32_t p28, int32_t p29, int32_t p30, int32_t p31
-, int32_t p32, int32_t p33, int32_t p34, int32_t p35, int32_t p36, int32_t p37, int32_t p38, int32_t p39
-, int32_t p40, int32_t p41, int32_t p42, int32_t p43, int32_t p44, int32_t p45, int32_t p46, int32_t p47
-, int32_t p48, int32_t p49, int32_t p50, int32_t p51, int32_t p52, int32_t p53, int32_t p54, int32_t p55
-, int32_t p56, int32_t p57, int32_t p58, int32_t p59, int32_t p60, int32_t p61, int32_t p62, int32_t p63
-, int32_t p64, int32_t p65, int32_t p66, int32_t p67, int32_t p68, int32_t p69, int32_t p70, int32_t p71
-, int32_t p72, int32_t p73, int32_t p74, int32_t p75, int32_t p76, int32_t p77, int32_t p78, int32_t p79
-, int32_t p80, int32_t p81, int32_t p82, int32_t p83, int32_t p84, int32_t p85, int32_t p86, int32_t p87
-, int32_t p88, int32_t p89, int32_t p90, int32_t p91, int32_t p92, int32_t p93, int32_t p94, int32_t p95
-, int32_t p96, int32_t p97, int32_t p98, int32_t p99, int32_t p100, int32_t p101, int32_t p102, int32_t p103
-, int32_t p104, int32_t p105, int32_t p106, int32_t p107, int32_t p108, int32_t p109, int32_t p110, int32_t p111
-, int32_t p112, int32_t p113, int32_t p114, int32_t p115, int32_t p116, int32_t p117, int32_t p118, int32_t p119
-, int32_t p120, int32_t p121, int32_t p122, int32_t p123, int32_t p124, int32_t p125, int32_t p126, int32_t p127
-, int32_t p128, int32_t p129, int32_t p130, int32_t p131, int32_t p132, int32_t p133, int32_t p134, int32_t p135
-, int32_t p136, int32_t p137, int32_t p138, int32_t p139, int32_t p140, int32_t p141, int32_t p142, int32_t p143
-, int32_t p144, int32_t p145, int32_t p146, int32_t p147, int32_t p148, int32_t p149, int32_t p150, int32_t p151
-, int32_t p152, int32_t p153, int32_t p154, int32_t p155, int32_t p156, int32_t p157, int32_t p158, int32_t p159
-, int32_t p160, int32_t p161, int32_t p162, int32_t p163, int32_t p164, int32_t p165, int32_t p166, int32_t p167
-, int32_t p168, int32_t p169, int32_t p170, int32_t p171, int32_t p172, int32_t p173, int32_t p174, int32_t p175
-, int32_t p176, int32_t p177, int32_t p178, int32_t p179, int32_t p180, int32_t p181, int32_t p182, int32_t p183
-, int32_t p184, int32_t p185, int32_t p186, int32_t p187, int32_t p188, int32_t p189, int32_t p190, int32_t p191
-, int32_t p192, int32_t p193, int32_t p194, int32_t p195, int32_t p196, int32_t p197, int32_t p198, int32_t p199
-, int32_t p200, int32_t p201, int32_t p202, int32_t p203, int32_t p204, int32_t p205, int32_t p206, int32_t p207
-, int32_t p208, int32_t p209, int32_t p210, int32_t p211, int32_t p212, int32_t p213, int32_t p214, int32_t p215
-, int32_t p216, int32_t p217, int32_t p218, int32_t p219, int32_t p220, int32_t p221, int32_t p222, int32_t p223
-, int32_t p224, int32_t p225, int32_t p226, int32_t p227, int32_t p228, int32_t p229, int32_t p230, int32_t p231
-, int32_t p232, int32_t p233, int32_t p234, int32_t p235, int32_t p236, int32_t p237, int32_t p238, int32_t p239
-, int32_t p240, int32_t p241, int32_t p242, int32_t p243, int32_t p244, int32_t p245, int32_t p246, int32_t p247
-, int32_t p248, int32_t p249, int32_t p250, int32_t p251, int32_t p252, int32_t p253, int32_t p254, int32_t p255
-, int32_t p256, int32_t p257, int32_t p258, int32_t p259, int32_t p260, int32_t p261, int32_t p262, int32_t p263
-, int32_t p264, int32_t p265, int32_t p266, int32_t p267, int32_t p268, int32_t p269, int32_t p270, int32_t p271
-, int32_t p272, int32_t p273, int32_t p274, int32_t p275, int32_t p276, int32_t p277, int32_t p278, int32_t p279
-, int32_t p280, int32_t p281, int32_t p282, int32_t p283, int32_t p284, int32_t p285, int32_t p286, int32_t p287
-, int32_t p288, int32_t p289, int32_t p290, int32_t p291, int32_t p292, int32_t p293, int32_t p294, int32_t p295
-, int32_t p296, int32_t p297, int32_t p298, int32_t p299, int32_t p300, int32_t p301, int32_t p302, int32_t p303
-, int32_t p304, int32_t p305, int32_t p306, int32_t p307, int32_t p308, int32_t p309, int32_t p310, int32_t p311
-, int32_t p312, int32_t p313, int32_t p314, int32_t p315, int32_t p316, int32_t p317, int32_t p318, int32_t p319
-, int32_t p320, int32_t p321, int32_t p322, int32_t p323, int32_t p324, int32_t p325, int32_t p326, int32_t p327
-, int32_t p328, int32_t p329, int32_t p330, int32_t p331, int32_t p332, int32_t p333, int32_t p334, int32_t p335
-, int32_t p336, int32_t p337, int32_t p338, int32_t p339, int32_t p340, int32_t p341, int32_t p342, int32_t p343
-, int32_t p344, int32_t p345, int32_t p346, int32_t p347, int32_t p348, int32_t p349, int32_t p350, int32_t p351
-, int32_t p352, int32_t p353, int32_t p354, int32_t p355, int32_t p356, int32_t p357, int32_t p358, int32_t p359
-, int32_t p360, int32_t p361, int32_t p362, int32_t p363, int32_t p364, int32_t p365, int32_t p366, int32_t p367
-, int32_t p368, int32_t p369, int32_t p370, int32_t p371, int32_t p372, int32_t p373, int32_t p374, int32_t p375
-, int32_t p376, int32_t p377, int32_t p378, int32_t p379, int32_t p380, int32_t p381, int32_t p382, int32_t p383
-, int32_t p384, int32_t p385, int32_t p386, int32_t p387, int32_t p388, int32_t p389, int32_t p390, int32_t p391
-, int32_t p392, int32_t p393, int32_t p394, int32_t p395, int32_t p396, int32_t p397, int32_t p398, int32_t p399
-, int32_t p400, int32_t p401, int32_t p402, int32_t p403, int32_t p404, int32_t p405, int32_t p406, int32_t p407
-, int32_t p408, int32_t p409, int32_t p410, int32_t p411, int32_t p412, int32_t p413, int32_t p414, int32_t p415
-, int32_t p416, int32_t p417, int32_t p418, int32_t p419, int32_t p420, int32_t p421, int32_t p422, int32_t p423
-, int32_t p424, int32_t p425, int32_t p426, int32_t p427, int32_t p428, int32_t p429, int32_t p430, int32_t p431
-, int32_t p432, int32_t p433, int32_t p434, int32_t p435, int32_t p436, int32_t p437, int32_t p438, int32_t p439
-, int32_t p440, int32_t p441, int32_t p442, int32_t p443, int32_t p444, int32_t p445, int32_t p446, int32_t p447
-, int32_t p448, int32_t p449, int32_t p450, int32_t p451, int32_t p452, int32_t p453, int32_t p454, int32_t p455
-, int32_t p456, int32_t p457, int32_t p458, int32_t p459, int32_t p460, int32_t p461, int32_t p462, int32_t p463
-, int32_t p464, int32_t p465, int32_t p466, int32_t p467, int32_t p468, int32_t p469, int32_t p470, int32_t p471
-, int32_t p472, int32_t p473, int32_t p474, int32_t p475, int32_t p476, int32_t p477, int32_t p478, int32_t p479
-, int32_t p480, int32_t p481, int32_t p482, int32_t p483, int32_t p484, int32_t p485, int32_t p486, int32_t p487
-, int32_t p488, int32_t p489, int32_t p490, int32_t p491, int32_t p492, int32_t p493, int32_t p494, int32_t p495
-, int32_t p496, int32_t p497, int32_t p498, int32_t p499, int32_t p500, int32_t p501, int32_t p502, int32_t p503
-, int32_t p504, int32_t p505, int32_t p506, int32_t p507, int32_t p508, int32_t p509, int32_t p510, int32_t p511
-, int32_t p512, int32_t p513, int32_t p514, int32_t p515, int32_t p516, int32_t p517, int32_t p518, int32_t p519
-, int32_t p520, int32_t p521, int32_t p522, int32_t p523, int32_t p524, int32_t p525, int32_t p526, int32_t p527
-, int32_t p528, int32_t p529, int32_t p530, int32_t p531, int32_t p532, int32_t p533, int32_t p534, int32_t p535
-, int32_t p536, int32_t p537, int32_t p538, int32_t p539, int32_t p540, int32_t p541, int32_t p542, int32_t p543
-, int32_t p544, int32_t p545, int32_t p546, int32_t p547, int32_t p548, int32_t p549, int32_t p550, int32_t p551
-, int32_t p552, int32_t p553, int32_t p554, int32_t p555, int32_t p556, int32_t p557, int32_t p558, int32_t p559
-, int32_t p560, int32_t p561, int32_t p562, int32_t p563, int32_t p564, int32_t p565, int32_t p566, int32_t p567
-, int32_t p568, int32_t p569, int32_t p570, int32_t p571, int32_t p572, int32_t p573, int32_t p574, int32_t p575
-, int32_t p576, int32_t p577, int32_t p578, int32_t p579, int32_t p580, int32_t p581, int32_t p582, int32_t p583
-, int32_t p584, int32_t p585, int32_t p586, int32_t p587, int32_t p588, int32_t p589, int32_t p590, int32_t p591
-, int32_t p592, int32_t p593, int32_t p594, int32_t p595, int32_t p596, int32_t p597, int32_t p598, int32_t p599
-, int32_t p600, int32_t p601, int32_t p602, int32_t p603, int32_t p604, int32_t p605, int32_t p606, int32_t p607
-, int32_t p608, int32_t p609, int32_t p610, int32_t p611, int32_t p612, int32_t p613, int32_t p614, int32_t p615
-, int32_t p616, int32_t p617, int32_t p618, int32_t p619, int32_t p620, int32_t p621, int32_t p622, int32_t p623
-, int32_t p624, int32_t p625, int32_t p626, int32_t p627, int32_t p628, int32_t p629, int32_t p630, int32_t p631
-, int32_t p632, int32_t p633, int32_t p634, int32_t p635, int32_t p636, int32_t p637, int32_t p638, int32_t p639
-, int32_t p640, int32_t p641, int32_t p642, int32_t p643, int32_t p644, int32_t p645, int32_t p646, int32_t p647
-, int32_t p648, int32_t p649, int32_t p650, int32_t p651, int32_t p652, int32_t p653, int32_t p654, int32_t p655
-, int32_t p656, int32_t p657, int32_t p658, int32_t p659, int32_t p660, int32_t p661, int32_t p662, int32_t p663
-, int32_t p664, int32_t p665, int32_t p666, int32_t p667, int32_t p668, int32_t p669, int32_t p670, int32_t p671
-, int32_t p672, int32_t p673, int32_t p674, int32_t p675, int32_t p676, int32_t p677, int32_t p678, int32_t p679
-, int32_t p680, int32_t p681, int32_t p682, int32_t p683, int32_t p684, int32_t p685, int32_t p686, int32_t p687
-, int32_t p688, int32_t p689, int32_t p690, int32_t p691, int32_t p692, int32_t p693, int32_t p694, int32_t p695
-, int32_t p696, int32_t p697, int32_t p698, int32_t p699, int32_t p700, int32_t p701, int32_t p702, int32_t p703
-, int32_t p704, int32_t p705, int32_t p706, int32_t p707, int32_t p708, int32_t p709, int32_t p710, int32_t p711
-, int32_t p712, int32_t p713, int32_t p714, int32_t p715, int32_t p716, int32_t p717, int32_t p718, int32_t p719
-, int32_t p720, int32_t p721, int32_t p722, int32_t p723, int32_t p724, int32_t p725, int32_t p726, int32_t p727
-, int32_t p728, int32_t p729, int32_t p730, int32_t p731, int32_t p732, int32_t p733, int32_t p734, int32_t p735
-, int32_t p736, int32_t p737, int32_t p738, int32_t p739, int32_t p740, int32_t p741, int32_t p742, int32_t p743
-, int32_t p744, int32_t p745, int32_t p746, int32_t p747, int32_t p748, int32_t p749, int32_t p750, int32_t p751
-, int32_t p752, int32_t p753, int32_t p754, int32_t p755, int32_t p756, int32_t p757, int32_t p758, int32_t p759
-, int32_t p760, int32_t p761, int32_t p762, int32_t p763, int32_t p764, int32_t p765, int32_t p766, int32_t p767
-, int32_t p768, int32_t p769, int32_t p770, int32_t p771, int32_t p772, int32_t p773, int32_t p774, int32_t p775
-, int32_t p776, int32_t p777, int32_t p778, int32_t p779, int32_t p780, int32_t p781, int32_t p782, int32_t p783
-, int32_t p784, int32_t p785, int32_t p786, int32_t p787, int32_t p788, int32_t p789, int32_t p790, int32_t p791
-, int32_t p792, int32_t p793, int32_t p794, int32_t p795, int32_t p796, int32_t p797, int32_t p798, int32_t p799
-, int32_t p800, int32_t p801, int32_t p802, int32_t p803, int32_t p804, int32_t p805, int32_t p806, int32_t p807
-, int32_t p808, int32_t p809, int32_t p810, int32_t p811, int32_t p812, int32_t p813, int32_t p814, int32_t p815
-, int32_t p816, int32_t p817, int32_t p818, int32_t p819, int32_t p820, int32_t p821, int32_t p822, int32_t p823
-, int32_t p824, int32_t p825, int32_t p826, int32_t p827, int32_t p828, int32_t p829, int32_t p830, int32_t p831
-, int32_t p832, int32_t p833, int32_t p834, int32_t p835, int32_t p836, int32_t p837, int32_t p838, int32_t p839
-, int32_t p840, int32_t p841, int32_t p842, int32_t p843, int32_t p844, int32_t p845, int32_t p846, int32_t p847
-, int32_t p848, int32_t p849, int32_t p850, int32_t p851, int32_t p852, int32_t p853, int32_t p854, int32_t p855
-, int32_t p856, int32_t p857, int32_t p858, int32_t p859, int32_t p860, int32_t p861, int32_t p862, int32_t p863
-, int32_t p864, int32_t p865, int32_t p866, int32_t p867, int32_t p868, int32_t p869, int32_t p870, int32_t p871
-, int32_t p872, int32_t p873, int32_t p874, int32_t p875, int32_t p876, int32_t p877, int32_t p878, int32_t p879
-, int32_t p880, int32_t p881, int32_t p882, int32_t p883, int32_t p884, int32_t p885, int32_t p886, int32_t p887
-, int32_t p888, int32_t p889, int32_t p890, int32_t p891, int32_t p892, int32_t p893, int32_t p894, int32_t p895
-, int32_t p896, int32_t p897, int32_t p898, int32_t p899, int32_t p900, int32_t p901, int32_t p902, int32_t p903
-, int32_t p904, int32_t p905, int32_t p906, int32_t p907, int32_t p908, int32_t p909, int32_t p910, int32_t p911
-, int32_t p912, int32_t p913, int32_t p914, int32_t p915, int32_t p916, int32_t p917, int32_t p918, int32_t p919
-, int32_t p920, int32_t p921, int32_t p922, int32_t p923, int32_t p924, int32_t p925, int32_t p926, int32_t p927
-, int32_t p928, int32_t p929, int32_t p930, int32_t p931, int32_t p932, int32_t p933, int32_t p934, int32_t p935
-, int32_t p936, int32_t p937, int32_t p938, int32_t p939, int32_t p940, int32_t p941, int32_t p942, int32_t p943
-, int32_t p944, int32_t p945, int32_t p946, int32_t p947, int32_t p948, int32_t p949, int32_t p950, int32_t p951
-, int32_t p952, int32_t p953, int32_t p954, int32_t p955, int32_t p956, int32_t p957, int32_t p958, int32_t p959
-, int32_t p960, int32_t p961, int32_t p962, int32_t p963, int32_t p964, int32_t p965, int32_t p966, int32_t p967
-, int32_t p968, int32_t p969, int32_t p970, int32_t p971, int32_t p972, int32_t p973, int32_t p974, int32_t p975
-, int32_t p976, int32_t p977, int32_t p978, int32_t p979, int32_t p980, int32_t p981, int32_t p982, int32_t p983
-, int32_t p984, int32_t p985, int32_t p986, int32_t p987, int32_t p988, int32_t p989, int32_t p990, int32_t p991
-, int32_t p992, int32_t p993, int32_t p994, int32_t p995, int32_t p996, int32_t p997, int32_t p998, int32_t p999
-)
-{
-    int32_t x;
-    x = p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7
- + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15
- + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23
- + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31
- + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39
- + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47
- + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55
- + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63
- + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71
- + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79
- + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87
- + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95
- + p96 + p97 + p98 + p99 + p100 + p101 + p102 + p103
- + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111
- + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119
- + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127
- + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135
- + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143
- + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151
- + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159
- + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167
- + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175
- + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183
- + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191
- + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199
- + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207
- + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215
- + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223
- + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231
- + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239
- + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247
- + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255
- + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263
- + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271
- + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279
- + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287
- + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295
- + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303
- + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311
- + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319
- + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327
- + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335
- + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343
- + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351
- + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359
- + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367
- + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375
- + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383
- + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391
- + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399
- + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407
- + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415
- + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423
- + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431
- + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439
- + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447
- + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455
- + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463
- + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471
- + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479
- + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487
- + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495
- + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503
- + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511
- + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519
- + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527
- + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535
- + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543
- + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551
- + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559
- + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567
- + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575
- + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583
- + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591
- + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599
- + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607
- + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615
- + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623
- + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631
- + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639
- + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647
- + p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655
- + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663
- + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671
- + p672 + p673 + p674 + p675 + p676 + p677 + p678 + p679
- + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687
- + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695
- + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703
- + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711
- + p712 + p713 + p714 + p715 + p716 + p717 + p718 + p719
- + p720 + p721 + p722 + p723 + p724 + p725 + p726 + p727
- + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735
- + p736 + p737 + p738 + p739 + p740 + p741 + p742 + p743
- + p744 + p745 + p746 + p747 + p748 + p749 + p750 + p751
- + p752 + p753 + p754 + p755 + p756 + p757 + p758 + p759
- + p760 + p761 + p762 + p763 + p764 + p765 + p766 + p767
- + p768 + p769 + p770 + p771 + p772 + p773 + p774 + p775
- + p776 + p777 + p778 + p779 + p780 + p781 + p782 + p783
- + p784 + p785 + p786 + p787 + p788 + p789 + p790 + p791
- + p792 + p793 + p794 + p795 + p796 + p797 + p798 + p799
- + p800 + p801 + p802 + p803 + p804 + p805 + p806 + p807
- + p808 + p809 + p810 + p811 + p812 + p813 + p814 + p815
- + p816 + p817 + p818 + p819 + p820 + p821 + p822 + p823
- + p824 + p825 + p826 + p827 + p828 + p829 + p830 + p831
- + p832 + p833 + p834 + p835 + p836 + p837 + p838 + p839
- + p840 + p841 + p842 + p843 + p844 + p845 + p846 + p847
- + p848 + p849 + p850 + p851 + p852 + p853 + p854 + p855
- + p856 + p857 + p858 + p859 + p860 + p861 + p862 + p863
- + p864 + p865 + p866 + p867 + p868 + p869 + p870 + p871
- + p872 + p873 + p874 + p875 + p876 + p877 + p878 + p879
- + p880 + p881 + p882 + p883 + p884 + p885 + p886 + p887
- + p888 + p889 + p890 + p891 + p892 + p893 + p894 + p895
- + p896 + p897 + p898 + p899 + p900 + p901 + p902 + p903
- + p904 + p905 + p906 + p907 + p908 + p909 + p910 + p911
- + p912 + p913 + p914 + p915 + p916 + p917 + p918 + p919
- + p920 + p921 + p922 + p923 + p924 + p925 + p926 + p927
- + p928 + p929 + p930 + p931 + p932 + p933 + p934 + p935
- + p936 + p937 + p938 + p939 + p940 + p941 + p942 + p943
- + p944 + p945 + p946 + p947 + p948 + p949 + p950 + p951
- + p952 + p953 + p954 + p955 + p956 + p957 + p958 + p959
- + p960 + p961 + p962 + p963 + p964 + p965 + p966 + p967
- + p968 + p969 + p970 + p971 + p972 + p973 + p974 + p975
- + p976 + p977 + p978 + p979 + p980 + p981 + p982 + p983
- + p984 + p985 + p986 + p987 + p988 + p989 + p990 + p991
- + p992 + p993 + p994 + p995 + p996 + p997 + p998 + p999;
-    return x;
-}
-
-// clang-format on

src/test/app/wasm_fixtures/wat/custom_page_sizes.wat

@@ -1,13 +0,0 @@
-(module
-  ;; Define a memory with 1 initial page.
-  ;; CRITICAL: We explicitly set the page size to 1 kilobyte.
-  ;; Standard Wasm implies (pagesize 65536).
-  (memory 1 (pagesize 1024))
-
-  (func $finish (result i32)
-    ;; If this module instantiates, the runtime accepted the custom page size.
-    i32.const 1
-  )
-
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/deep_recursion.wat

@@ -1,29 +0,0 @@
-(module
-  ;; Define a Mutable Global Variable to act as our counter.
-  ;; We initialize it to 1,000,000.
-  (global $counter (mut i32) (i32.const 1000000))
-
-  (func $finish (result i32)
-    ;; 1. Check if counter == 0 (Base Case)
-    global.get $counter
-    i32.eqz
-    if
-      ;; If counter is 0, we are done. Return 1.
-      i32.const 1
-      return
-    end
-
-    ;; 2. Decrement the Global Counter
-    global.get $counter
-    i32.const 1
-    i32.sub
-    global.set $counter
-
-    ;; 3. Recursive Step: Call SELF
-    ;; This puts an i32 (1) on the stack when it returns.
-    call $finish
-  )
-
-  ;; Export the only function we have
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/memory64.wat

@@ -1,21 +0,0 @@
-(module
-  ;; Define a 64-bit memory (index type i64)
-  ;; Start with 1 page.
-  (memory i64 1)
-
-  (func $finish (result i32)
-    ;; 1. Perform a store using a 64-bit address.
-    ;;    Even if the value is small (0), the type MUST be i64.
-    i64.const 0     ;; Address (64-bit)
-    i32.const 42    ;; Value (32-bit)
-    i32.store8      ;; Opcode doesn't change, but validation rules do.
-
-    ;; 2. check memory size
-    ;;    memory.size now returns an i64.
-    memory.size
-    i64.const 1
-    i64.eq          ;; Returns i32 (1 if true)
-  )
-
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/memory_end_of_word_over_limit.wat

@@ -1,28 +0,0 @@
-(module
-  ;; 1. Define Memory: 1 Page = 64KB = 65,536 bytes
-  (memory 1)
-
-  ;; Export memory so the host can inspect it if needed
-  (export "memory" (memory 0))
-
-  (func $test_straddle (result i32)
-    ;; Push the address onto the stack.
-    ;; 65534 is valid, but it is only 2 bytes away from the end.
-    i32.const 65534
-
-    ;; Attempt to load an i32 (4 bytes) from that address.
-    ;; This requires bytes 65534, 65535, 65536, and 65537.
-    ;; Since 65536 is the first invalid byte, this MUST trap.
-    i32.load
-
-    ;; Clean up the stack.
-    ;; The load pushed a value, but we don't care what it is.
-    drop
-
-    ;; Return 1 to signal "I survived the memory access"
-    i32.const 1
-  )
-
-  ;; Export the function so you can call it from your host (JS, Python, etc.)
-  (export "finish" (func $test_straddle))
-)

src/test/app/wasm_fixtures/wat/memory_grow_0_page_more_than_8MB.wat

@@ -1,29 +0,0 @@
-(module
-  ;; Start at your limit: 128 pages (8MB)
-  (memory 128)
-  (export "memory" (memory 0))
-
-  (func $try_grow_beyond_limit (result i32)
-    ;; Attempt to grow by 0 page
-    i32.const 0
-    memory.grow
-
-    ;; memory.grow returns:
-    ;;   -1  if the growth failed (Correct behavior for your limit)
-    ;;   128 (old size) if growth succeeded (Means limit was bypassed)
-
-    ;; Check if result == -1
-    i32.const -1
-    i32.eq
-    if
-      ;; Growth FAILED (Host blocked it). Return -1.
-      i32.const -1
-      return
-    end
-
-    ;; Growth SUCCEEDED (Host allowed it). Return 1.
-    i32.const 1
-  )
-
-  (export "finish" (func $try_grow_beyond_limit))
-)

src/test/app/wasm_fixtures/wat/memory_grow_0_to_1.wat

@@ -1,26 +0,0 @@
-(module
-  ;; 1. Define Memory: Start with 0 pages
-  (memory 0)
-
-  ;; Export memory to host
-  (export "memory" (memory 0))
-
-  (func $grow_from_zero (result i32)
-    ;; We have 0 pages. We want to add 1 page.
-    ;; Push delta (1) onto stack.
-    i32.const 1
-
-    ;; Grow the memory.
-    ;; If successful: memory becomes 64KB, returns old size (0).
-    ;; If failed: memory stays 0, returns -1.
-    memory.grow
-
-    ;; Drop the return value of memory.grow
-    drop
-
-    ;; Return 1 (as requested)
-    i32.const 1
-  )
-
-  (export "finish" (func $grow_from_zero))
-)

src/test/app/wasm_fixtures/wat/memory_grow_1_page_more_than_8MB.wat

@@ -1,29 +0,0 @@
-(module
-  ;; Start at your limit: 128 pages (8MB)
-  (memory 128)
-  (export "memory" (memory 0))
-
-  (func $try_grow_beyond_limit (result i32)
-    ;; Attempt to grow by 1 page
-    i32.const 1
-    memory.grow
-
-    ;; memory.grow returns:
-    ;;   -1  if the growth failed (Correct behavior for your limit)
-    ;;   128 (old size) if growth succeeded (Means limit was bypassed)
-
-    ;; Check if result == -1
-    i32.const -1
-    i32.eq
-    if
-      ;; Growth FAILED (Host blocked it). Return -1.
-      i32.const -1
-      return
-    end
-
-    ;; Growth SUCCEEDED (Host allowed it). Return 1.
-    i32.const 1
-  )
-
-  (export "finish" (func $try_grow_beyond_limit))
-)

src/test/app/wasm_fixtures/wat/memory_grow_1_to_0.wat

@@ -1,33 +0,0 @@
-(module
-  ;; 1. Define Memory: Start with 1 page (64KB)
-  (memory 1)
-
-  ;; Export memory to host
-  (export "memory" (memory 0))
-
-  (func $grow_negative (result i32)
-    ;; The user pushed -1. In Wasm, this is interpreted as unsigned MAX_UINT32.
-    ;; This is requesting to add 4,294,967,295 pages (approx 256 TB).
-    ;; A secure runtime MUST fail this request (return -1) without crashing.
-    i32.const -1
-
-    ;; Grow the memory.
-    ;; Returns: old_size if success, -1 if failure.
-    memory.grow
-
-    ;; Check if result == -1 (Failure)
-    i32.const -1
-    i32.eq
-    if
-        ;; If memory.grow returned -1, we return -1 to signal "Correctly failed".
-        i32.const -1
-        return
-    end
-
-    ;; If we are here, memory.grow somehow SUCCEEDED (Vulnerability).
-    ;; We return 1 to signal "Unexpected Success".
-    i32.const 1
-  )
-
-  (export "finish" (func $grow_negative))
-)

src/test/app/wasm_fixtures/wat/memory_init_1_page_more_than_8MB.wat

@@ -1,27 +0,0 @@
-(module
-  ;; Define memory: 129 pages (> 8MB limit) min, 129 pages max
-  (memory 129 129)
-
-  ;; Export memory so host can verify size
-  (export "memory" (memory 0))
-
-  ;; access last byte of 8MB limit
-  (func $access_last_byte (result i32)
-    ;; Math: 128 pages * 64,536 bytes/page = 8,388,608 bytes
-    ;; Valid indices: 0 to 8,388,607
-
-    ;; Push the address of the LAST valid byte
-    i32.const 8388607
-
-    ;; Load byte from that address
-    i32.load8_u
-
-    ;; Drop the value (we don't care what it is, just that we could read it)
-    drop
-
-    ;; Return 1 to indicate success
-    i32.const 1
-  )
-
-  (export "finish" (func $access_last_byte))
-)

src/test/app/wasm_fixtures/wat/memory_last_byte_of_8MB.wat

@@ -1,26 +0,0 @@
-(module
-  ;; Define memory: 128 pages (8MB) min, 128 pages max
-  (memory 128 128)
-
-  ;; Export memory so host can verify size
-  (export "memory" (memory 0))
-
-  (func $access_last_byte (result i32)
-    ;; Math: 128 pages * 64,536 bytes/page = 8,388,608 bytes
-    ;; Valid indices: 0 to 8,388,607
-
-    ;; Push the address of the LAST valid byte
-    i32.const 8388607
-
-    ;; Load byte from that address
-    i32.load8_u
-
-    ;; Drop the value (we don't care what it is, just that we could read it)
-    drop
-
-    ;; Return 1 to indicate success
-    i32.const 1
-  )
-
-  (export "finish" (func $access_last_byte))
-)

src/test/app/wasm_fixtures/wat/memory_negative_address.wat

@@ -1,23 +0,0 @@
-(module
-  ;; Define memory: 128 pages (8MB) min, 128 pages max
-  (memory 128 128)
-
-  ;; Export memory so host can verify size
-  (export "memory" (memory 0))
-
-  (func $access_last_byte (result i32)
-    ;; Push a negative address
-    i32.const -1
-
-    ;; Load byte from that address
-    i32.load8_u
-
-    ;; Drop the value
-    drop
-
-    ;; Return 1 to indicate success
-    i32.const 1
-  )
-
-  (export "finish" (func $access_last_byte))
-)

src/test/app/wasm_fixtures/wat/memory_offset_over_limit.wat

@@ -1,27 +0,0 @@
-(module
-  ;; 1. Define Memory: 1 Page = 64KB
-  (memory 1)
-
-  (export "memory" (memory 0))
-
-  (func $test_offset_overflow (result i32)
-    ;; 1. Push the base address onto the stack.
-    ;; We use '0', which is the safest, most valid address possible.
-    i32.const 0
-
-    ;; 2. Attempt to load using a static offset.
-    ;; syntax: i32.load offset=N align=N
-    ;; We set the offset to 65536 (the size of the memory).
-    ;; The effective address becomes 0 + 65536 = 65536.
-    i32.load offset=65536
-
-    ;; Clean up the stack.
-    ;; The load pushed a value, but we don't care what it is.
-    drop
-
-    ;; Return 1 to signal "I survived the memory access"
-    i32.const 1
-  )
-
-  (export "finish" (func $test_offset_overflow))
-)

src/test/app/wasm_fixtures/wat/memory_pointer_at_limit.wat

@@ -1,22 +0,0 @@
-(module
-  ;; Define 1 page of memory (64KB = 65,536 bytes)
-  (memory 1)
-
-  (func $read_edge (result i32)
-    ;; Push the index of the LAST valid byte
-    i32.const 65535
-
-    ;; Load 1 byte (unsigned)
-    i32.load8_u
-
-    ;; Clean up the stack.
-    ;; The load pushed a value, but we don't care what it is.
-    drop
-
-    ;; Return 1 to signal "I survived the memory access"
-    i32.const 1
-  )
-
-  ;; Export as "finish" as requested
-  (export "finish" (func $read_edge))
-)

src/test/app/wasm_fixtures/wat/memory_pointer_over_limit.wat

@@ -1,23 +0,0 @@
-(module
-   ;; Define 1 page of memory (64KB = 65,536 bytes)
-   (memory 1)
-
-   (func $read_overflow (result i32)
-     ;; Push the index of the FIRST invalid byte
-     ;; Memory is 0..65535, so 65536 is out of bounds.
-     i32.const 65536
-
-     ;; Load 1 byte (unsigned)
-     i32.load8_u
-
-     ;; Clean up the stack.
-     ;; The load pushed a value, but we don't care what it is.
-     drop
-
-     ;; Return 1 to signal "I survived the memory access"
-     i32.const 1
-   )
-
-   ;; Export as "finish" as requested
-   (export "finish" (func $read_overflow))
- )

src/test/app/wasm_fixtures/wat/multi_memory.wat

@@ -1,16 +0,0 @@
-(module
-  ;; Memory 0: Index 0 (Empty)
-  (memory 0)
-
-  ;; Memory 1: Index 1 (Size 1 page)
-  ;; If multi-memory is disabled, this line causes a validation error (max 1 memory).
-  (memory 1)
-
-  (func $finish (result i32)
-    ;; Query size of Memory Index 1.
-    ;; Should return 1 (success).
-    memory.size 1
-  )
-
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/opc_reserved.wat

@@ -1,98 +0,0 @@
-(module
-
-  ;; Type for call_indirect
-  (type (func (result i32)))
-
-  ;; Memory and table declarations
-  (memory 1)
-  (table 1 funcref)
-  (data (i32.const 0) "test")
-  (elem (i32.const 0) $test_func)
-
-  ;; Global declarations
-  (global $g0 (mut i32) (i32.const 0))
-  (global $g1 (mut i64) (i64.const 0))
-
-  ;; Test function for call/call_indirect
-  (func $test_func (result i32)
-    i32.const 42
-  )
-
-
-  ;; Main function with all instructions in hex order
-  (func $all_instructions (export "all_instructions") (result i32)
-    (local $l0 i32)
-    (local $l1 i64)
-
-    ;; 0x01: nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    nop
-    i32.const 11
-  )
-)

src/test/app/wasm_fixtures/wat/proposal_bulk_memory.wat

@@ -1,25 +0,0 @@
-(module
-  ;; Define 1 page of memory
-  (memory 1)
-  (export "memory" (memory 0))
-
-  (func $test_bulk_ops (result i32)
-    ;; Setup: Write value 42 at index 0 so we have something to copy
-    (i32.store8 (i32.const 0) (i32.const 42))
-
-    ;; Test memory.copy (Opcode 0xFC 0x0A)
-    ;; Copy 1 byte from offset 0 to offset 100
-    (memory.copy
-      (i32.const 100) ;; Destination Offset
-      (i32.const 0)   ;; Source Offset
-      (i32.const 1)   ;; Size (bytes)
-    )
-
-    ;; Verify: Read byte at offset 100. Should be 42.
-    (i32.load8_u (i32.const 100))
-    (i32.const 42)
-    i32.eq
-  )
-
-  (export "finish" (func $test_bulk_ops))
-)

src/test/app/wasm_fixtures/wat/proposal_extended_const.wat

@@ -1,15 +0,0 @@
-(module
-  ;; 1. Define a global using an EXTENDED constant expression.
-  ;;    MVP only allows (i32.const X).
-  ;;    This proposal allows (i32.add (i32.const X) (i32.const Y)).
-  (global $g i32 (i32.add (i32.const 10) (i32.const 32)))
-
-  (func $finish (result i32)
-    ;; 2. verify the global equals 42
-    global.get $g
-    i32.const 42
-    i32.eq
-  )
-
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/proposal_float_to_int.wat

@@ -1,18 +0,0 @@
-(module
-  (func $test_saturation (result i32)
-    ;; 1. Push a float that is too big for a 32-bit integer
-    ;; 1e10 (10 billion) > 2.14 billion (Max i32)
-    f32.const 1.0e10
-
-    ;; 2. Attempt saturating conversion (Opcode 0xFC 0x00)
-    ;; If supported: Clamps to MAX_I32.
-    ;; If disabled: Validation error (unknown instruction).
-    i32.trunc_sat_f32_s
-
-    ;; 3. Check if result is MAX_I32 (2147483647)
-    i32.const 2147483647
-    i32.eq
-  )
-
-  (export "finish" (func $test_saturation))
-)

src/test/app/wasm_fixtures/wat/proposal_gc_struct_new.wat

@@ -1,12 +0,0 @@
-;; generated by wasm-tools print gc_test.wasm that has the following hex
-;; 0061736d01000000010b026000017f5f027f017f0103020100070a010666696e69736800000a0a010800fb01011a41010b
-(module
-  (type (;0;) (func (result i32)))
-  (type (;1;) (struct (field (mut i32)) (field (mut i32))))
-  (export "finish" (func 0))
-  (func (;0;) (type 0) (result i32)
-    struct.new_default 1
-    drop
-    i32.const 1
-  )
-)

src/test/app/wasm_fixtures/wat/proposal_multi_value.wat

@@ -1,22 +0,0 @@
-(module
-  ;; 1. Function returning TWO values (Multi-Value feature)
-  (func $get_numbers (result i32 i32)
-    i32.const 10
-    i32.const 20
-  )
-
-  (func $finish (result i32)
-    ;; Call pushes [10, 20] onto the stack
-    call $get_numbers
-
-    ;; 2. Block taking TWO parameters (Multi-Value feature)
-    ;;    It consumes the [10, 20] from the stack.
-    block (param i32 i32) (result i32)
-      i32.add       ;; 10 + 20 = 30
-      i32.const 30  ;; Expected result
-      i32.eq        ;; Compare: returns 1 if equal
-    end
-  )
-
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/proposal_mutable_global.wat

@@ -1,25 +0,0 @@
-(module
-  ;; Define a mutable global initialized to 0
-  (global $counter (mut i32) (i32.const 0))
-
-  ;; EXPORTING a mutable global is the key feature of this proposal.
-  ;; In strict MVP, exported globals had to be immutable (const).
-  (export "counter" (global $counter))
-
-  (func $finish (result i32)
-    ;; 1. Get current value
-    global.get $counter
-
-    ;; 2. Add 1
-    i32.const 1
-    i32.add
-
-    ;; 3. Set new value (Mutation)
-    global.set $counter
-
-    ;; 4. Return 1 for success
-    i32.const 1
-  )
-
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/proposal_ref_types.wat

@@ -1,18 +0,0 @@
-(module
-  ;; Import a table from the host that holds externrefs
-  (import "env" "table" (table 1 externref))
-
-  (func $test_ref_types (result i32)
-    ;; Store a null externref into the table at index 0
-    ;; If reference_types is disabled, 'externref' and 'ref.null' will fail parsing.
-    (table.set
-      (i32.const 0)       ;; Index
-      (ref.null extern)   ;; Value (Null External Reference)
-    )
-
-    ;; Return 1 (Success)
-    i32.const 1
-  )
-
-  (export "finish" (func $test_ref_types))
-)

src/test/app/wasm_fixtures/wat/proposal_sign_ext.wat

@@ -1,18 +0,0 @@
-(module
-  (func $test_sign_ext (result i32)
-    ;; Push 255 (0x000000FF) onto the stack
-    i32.const 255
-
-    ;; Sign-extend from 8-bit to 32-bit
-    ;; If 255 is treated as an i8, it is -1.
-    ;; Result should be -1 (0xFFFFFFFF).
-    ;; Without this proposal, this opcode (0xC0) causes a validation error.
-    i32.extend8_s
-
-    ;; Check if result is -1
-    i32.const -1
-    i32.eq
-  )
-
-  (export "finish" (func $test_sign_ext))
-)

src/test/app/wasm_fixtures/wat/proposal_stringref.wat

@@ -1 +0,0 @@
-;;hard to generate

src/test/app/wasm_fixtures/wat/proposal_tail_call.wat

@@ -1,15 +0,0 @@
-(module
-  ;; Define a simple function we can tail-call
-  (func $target (result i32)
-    i32.const 1
-  )
-
-  (func $finish (result i32)
-    ;; Try to use the 'return_call' instruction (Opcode 0x12)
-    ;; If Tail Call proposal is disabled, this fails to Compile/Validate.
-    ;; If enabled, it jumps to $target, which returns 1.
-    return_call $target
-  )
-
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/start_loop.wat

@@ -1,22 +0,0 @@
-(module
-  ;; Function 1: The Infinite Loop
-  (func $run_forever
-    (loop $infinite
-      br $infinite
-    )
-  )
-
-  ;; Function 2: Finish
-  (func $finish (result i32)
-    i32.const 1
-  )
-
-  ;; 1. EXPORT the functions (optional, if you want to call them later)
-  (export "start" (func $run_forever))
-  (export "finish" (func $finish))
-
-  ;; 2. The special start section
-  ;; This tells the VM: "Run function $run_forever immediately
-  ;; when this module is instantiated."
-  (start $run_forever)
-)

src/test/app/wasm_fixtures/wat/table_0_elements.wat

@@ -1,10 +0,0 @@
-(module
-  ;; Define a table with exactly 0 entries
-  (table 0 funcref)
-
-  ;; Standard finish function
-  (func $finish (result i32)
-    i32.const 1
-  )
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/table_2_tables.wat

@@ -1,24 +0,0 @@
-(module
-  ;; Define a dummy function to put in the tables
-  (func $dummy)
-
-  ;; TABLE 0: The default table (allowed in MVP)
-  ;; Size: 1 initial, 1 max
-  (table $t0 1 1 funcref)
-
-  ;; Initialize Table 0 at index 0
-  (elem (table $t0) (i32.const 0) $dummy)
-
-  ;; TABLE 1: The second table (Requires Reference Types proposal)
-  ;; If strict MVP is enforced, the parser should error here.
-  (table $t1 1 1 funcref)
-
-  ;; Initialize Table 1 at index 0
-  (elem (table $t1) (i32.const 0) $dummy)
-
-  (func $finish (result i32)
-    ;; If we successfully loaded a module with 2 tables, return 1.
-    i32.const 1
-  )
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/table_64_elements.wat

@@ -1,25 +0,0 @@
-(module
-  ;; Define a table with exactly 64 entries
-  (table 64 funcref)
-
-  ;; A dummy function to reference
-  (func $dummy)
-
-  ;; Initialize the table at offset 0 with 64 references to $dummy
-  (elem (i32.const 0)
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 8
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 16
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 24
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 32
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 40
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 48
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 56
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 64
-  )
-
-  ;; Standard finish function
-  (func $finish (result i32)
-    i32.const 1
-  )
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/table_65_elements.wat

@@ -1,25 +0,0 @@
-(module
-  ;; Define a table with exactly 65 entries
-  (table 65 funcref)
-
-  ;; A dummy function to reference
-  (func $dummy)
-
-  ;; Initialize the table at offset 0 with 65 references to $dummy
-  (elem (i32.const 0)
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 8
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 16
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 24
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 32
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 40
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 48
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 56
-    $dummy $dummy $dummy $dummy $dummy $dummy $dummy $dummy ;; 64
-    $dummy ;; 65 (The one that breaks the camel's back)
-  )
-
-  (func $finish (result i32)
-    i32.const 1
-  )
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/table_uint_max.wat

@@ -1,15 +0,0 @@
-(module
-  ;; Definition: (table <min> <optional_max> <type>)
-  ;; We use 0xFFFFFFFF (4,294,967,295), which is the unsigned equivalent of -1.
-  ;; This tests if the runtime handles the maximum possible u32 value
-  ;; without integer overflows or attempting a massive allocation.
-  ;;
-  ;; Note that using -1 as the table size cannot be parsed by wasm-tools or wat2wasm
-  (table 0xFFFFFFFF funcref)
-
-  (func $finish (result i32)
-    ;; If the module loads despite the massive table, return 1.
-    i32.const 1
-  )
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/trap_divide_by_0.wat

@@ -1,15 +0,0 @@
-(module
-  (func $finish (export "finish") (result i32)
-    ;; Setup for Requirement 2: Divide an i32 by 0
-    i32.const 42   ;; Push numerator
-    i32.const 0    ;; Push denominator (0)
-    i32.div_s      ;; Perform signed division (42 / 0)
-
-    ;; --- NOTE: Execution usually traps (crashes) at the line above ---
-
-    ;; Logic to satisfy Requirement 1: Return i32 = 1
-    ;; If execution continued, we would drop the division result and return 1
-    drop           ;; Clear the stack
-    i32.const 1    ;; Push the return value
-  )
-)

src/test/app/wasm_fixtures/wat/trap_func_signature_mismatch.wat

@@ -1,33 +0,0 @@
-(module
-  ;; Define a table with 1 slot
-  (table 1 funcref)
-
-  ;; Define Type A: Takes nothing, returns nothing
-  (type $type_void (func))
-
-  ;; Define Type B: Takes nothing, returns i32
-  (type $type_i32 (func (result i32)))
-
-  ;; Define a function of Type A
-  (func $void_func (type $type_void)
-    nop
-  )
-
-  ;; Put Type A function into Table[0]
-  (elem (i32.const 0) $void_func)
-
-  (func $finish (result i32)
-    ;; Attempt to call Index 0, but CLAIM we expect Type B (result i32).
-    ;; The function at Index 0 matches Type A.
-    ;; TRAP: "indirect call type mismatch"
-
-    ;; 1. Push the table index (0) onto the stack
-    i32.const 0
-
-    ;; 2. Call indirect using Type B signature.
-    ;;    This pops the index (0) from the stack.
-    call_indirect (type $type_i32)
-  )
-
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/trap_int_overflow.wat

@@ -1,18 +0,0 @@
-(module
-  (func $test_int_overflow (result i32)
-    ;; 1. Push INT_MIN (-2147483648)
-    ;; In Hex: 0x80000000
-    i32.const -2147483648
-
-    ;; 2. Push -1
-    i32.const -1
-
-    ;; 3. Signed Division
-    ;; This specific case is the ONLY integer arithmetic operation
-    ;; (besides divide by zero) that traps in the spec.
-    ;; Result would be +2147483648, which is too big for signed i32.
-    i32.div_s
-  )
-
-  (export "finish" (func $test_int_overflow))
-)

src/test/app/wasm_fixtures/wat/trap_null_call.wat

@@ -1,22 +0,0 @@
-(module
-  ;; Table size is 1, so Index 0 is VALID bounds.
-  ;; However, we do NOT initialize it, so it contains 'ref.null'.
-  (table 1 funcref)
-
-  (type $t (func (result i32)))
-
-  (func $finish (result i32)
-    ;; Call Index 0.
-    ;; Bounds check passes (0 < 1).
-    ;; Null check fails.
-    ;; TRAP: "uninitialized element" or "undefined element"
-
-    ;; 1. Push the index (0) onto the stack first
-    i32.const 0
-
-    ;; 2. Perform the call. This pops the index.
-    call_indirect (type $t)
-  )
-
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/trap_unreachable.wat

@@ -1,12 +0,0 @@
-(module
-  (func $finish (result i32)
-    ;; This instruction explicitly causes a trap.
-    ;; It consumes no fuel (beyond the instruction itself) and stops execution.
-    unreachable
-
-    ;; This code is dead and never reached
-    i32.const 1
-  )
-
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/wasi_get_time.wat

@@ -1,38 +0,0 @@
-(module
-  ;; Import clock_time_get from WASI
-  ;; Signature: (param clock_id precision return_ptr) (result errno)
-  (import "wasi_snapshot_preview1" "clock_time_get"
-    (func $clock_time_get (param i32 i64 i32) (result i32))
-  )
-
-  (memory 1)
-  (export "memory" (memory 0))
-
-  (func $finish (result i32)
-    ;; We will store the timestamp (a 64-bit integer) at address 0.
-    ;; No setup required in memory beforehand!
-
-    ;; Call the function
-    (call $clock_time_get
-      (i32.const 0)       ;; clock_id: 0 = Realtime (Wallclock)
-      (i64.const 1000)    ;; precision: 1000ns (hint to OS)
-      (i32.const 0)       ;; result_ptr: Write the time to address 0
-    )
-
-    ;; The function returns an 'errno' (error code).
-    ;; 0 = Success. Anything else = Error.
-
-    ;; Check if errno (top of stack) is 0
-    i32.eqz
-    if (result i32)
-      ;; Success! The time is now stored in heap[0..8].
-      ;; We return 1 as requested.
-      i32.const 1
-    else
-      ;; Failed (maybe WASI is disabled or clock is missing)
-      i32.const -1
-    end
-  )
-
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/wasi_print.wat

@@ -1,59 +0,0 @@
-(module
-  ;; Import WASI fd_write
-  ;; Signature: (fd, iovs_ptr, iovs_len, nwritten_ptr) -> errno
-  (import "wasi_snapshot_preview1" "fd_write"
-    (func $fd_write (param i32 i32 i32 i32) (result i32))
-  )
-
-  (memory 1)
-  (export "memory" (memory 0))
-
-  ;; --- DATA SEGMENTS ---
-
-  ;; 1. The String Data "Hello\n" placed at offset 16
-  ;;    We assume offset 0-16 is reserved for the IOVec struct
-  (data (i32.const 16) "Hello\n")
-
-  ;; 2. The IO Vector (struct iovec) placed at offset 0
-  ;;    Structure: { buf_ptr: u32, buf_len: u32 }
-
-  ;;    Field 1: buf_ptr = 16 (Location of "Hello\n")
-  ;;    Encoded in little-endian: 10 00 00 00
-  (data (i32.const 0) "\10\00\00\00")
-
-  ;;    Field 2: buf_len = 6 (Length of "Hello\n")
-  ;;    Encoded in little-endian: 06 00 00 00
-  (data (i32.const 4) "\06\00\00\00")
-
-  (func $finish (result i32)
-    (local $nwritten_ptr i32)
-
-    ;; We will ask WASI to write the "number of bytes written" to address 24
-    ;; (safely after our string data)
-    i32.const 24
-    local.set $nwritten_ptr
-
-    ;; Call fd_write
-    (call $fd_write
-      (i32.const 1)       ;; fd: 1 = STDOUT
-      (i32.const 0)       ;; iovs_ptr: Address 0 (where we defined the struct)
-      (i32.const 1)       ;; iovs_len: We are passing 1 vector
-      (local.get $nwritten_ptr) ;; nwritten_ptr: Address 24
-    )
-
-    ;; The function returns an 'errno' (i32).
-    ;; 0 means Success.
-
-    ;; Check if errno == 0
-    i32.eqz
-    if (result i32)
-      ;; Success: Return 1
-      i32.const 1
-    else
-      ;; Failure: Return -1
-      i32.const -1
-    end
-  )
-
-  (export "finish" (func $finish))
-)

src/test/app/wasm_fixtures/wat/wide_arithmetic.wat

@@ -1,22 +0,0 @@
-(module
-  (func $finish (result i32)
-    ;; 1. Push operands
-    i64.const 1
-    i64.const 2
-
-    ;; 2. Execute Wide Multiplication
-    ;;    If the feature is DISABLED, the parser/validator will trap here
-    ;;    with "unknown instruction" or "invalid opcode".
-    ;;    Input: [i64, i64] -> Output: [i64, i64]
-    i64.mul_wide_u
-
-    ;; 3. Clean up the stack (drop the two i64 results)
-    drop
-    drop
-
-    ;; 4. Return 1 to signal that validation passed
-    i32.const 1
-  )
-
-  (export "finish" (func $finish))
-)

src/test/basics/Number_test.cpp

@@ -1525,76 +1525,6 @@ public:
         }
     }
 
-    void
-    test_log10()
-    {
-        auto const scale = Number::getMantissaScale();
-        testcase << "test_lg " << to_string(scale);
-
-        using Case = std::tuple<Number, Number>;
-        auto test = [this](auto const& c) {
-            for (auto const& [x, z] : c)
-            {
-                auto const result = log10(x);
-                std::stringstream ss;
-                ss << "lg(" << x << ") = " << result << ". Expected: " << z;
-                // std::cout << ss.str() << std::endl;
-                BEAST_EXPECTS(result == z, ss.str());
-            }
-        };
-
-        auto const cSmall = std::to_array<Case>(
-            {{Number{2}, Number{3'010'299'956'639'811ll, -16}},
-             {Number{2'000'000}, Number{6'301'029'995'663'985ll, -15}},
-             {Number{2, -30}, Number{-2'969'897'000'433'602ll, -14}},
-             {Number{1}, Number{0}},
-             {Number{1'000'000'000'000'000ll}, Number{15}},
-             {Number{5625, -4}, Number{-2'498'774'732'165'998, -16}}});
-
-        auto const cLarge = std::to_array<Case>(
-            {{Number{false, Number::maxMantissa() - 9, -1, Number::normalized{}},
-              Number{false, 1'746'901'684'478'673'451ll, -17, Number::normalized{}}},
-             {Number{false, Number::maxMantissa() - 9, 0, Number::normalized{}},
-              Number{false, 1'846'901'684'478'673'451ll, -17, Number::normalized{}}},
-             {Number{Number::maxRep},
-              Number{false, 1'861'728'612'932'620'011ll, -17, Number::normalized{}}}});
-
-        if (Number::getMantissaScale() == MantissaRange::small)
-        {
-            test(cSmall);
-        }
-        else
-        {
-            NumberRoundModeGuard mg(Number::towards_zero);
-            test(cLarge);
-        }
-
-        {
-            bool caught = false;
-            try
-            {
-                log10(Number{-2});
-            }
-            catch (std::runtime_error const&)
-            {
-                caught = true;
-            }
-            BEAST_EXPECT(caught);
-            caught = false;
-
-            try
-            {
-                log10(Number());
-            }
-            catch (std::runtime_error const&)
-            {
-                caught = true;
-            }
-            BEAST_EXPECT(caught);
-            caught = false;
-        }
-    }
-
     void
     run() override
     {
@@ -1622,7 +1552,6 @@ public:
             test_truncate();
             testRounding();
             testInt64();
-            test_log10();
         }
     }
 };

src/test/jtx/impl/envconfig.cpp

@@ -17,9 +17,6 @@ setupConfigForUnitTests(Config& cfg)
     cfg.FEES.reference_fee = UNIT_TEST_REFERENCE_FEE;
     cfg.FEES.account_reserve = XRP(200).value().xrp().drops();
     cfg.FEES.owner_reserve = XRP(50).value().xrp().drops();
-    cfg.FEES.extension_compute_limit = 1'000'000;
-    cfg.FEES.extension_size_limit = 1'000'000;
-    cfg.FEES.gas_price = 1'000;
 
     // The Beta API (currently v2) is always available to tests
     cfg.BETA_RPC_API = true;

src/test/rpc/Subscribe_test.cpp

@@ -476,22 +476,6 @@ public:
                 if (jv.isMember(jss::reserve_inc) != isFlagLedger)
                     return false;
 
-                if (env.closed()->rules().enabled(featureSmartEscrow))
-                {
-                    if (jv.isMember(jss::extension_compute) != isFlagLedger)
-                        return false;
-
-                    if (jv.isMember(jss::extension_size) != isFlagLedger)
-                        return false;
-                }
-                else
-                {
-                    if (jv.isMember(jss::extension_compute))
-                        return false;
-
-                    if (jv.isMember(jss::extension_size))
-                        return false;
-                }
                 return true;
             };
 
@@ -1484,8 +1468,7 @@ public:
         testTransactions_APIv1();
         testTransactions_APIv2();
         testManifests();
-        testValidations(all - featureXRPFees - featureSmartEscrow);
-        testValidations(all - featureSmartEscrow);
+        testValidations(all - xrpFees);
         testValidations(all);
         testSubErrors(true);
         testSubErrors(false);

src/xrpld/app/ledger/Ledger.cpp

@@ -196,12 +196,6 @@ Ledger::Ledger(
                 sle->at(sfReserveIncrement) = *f;
             sle->at(sfReferenceFeeUnits) = Config::FEE_UNITS_DEPRECATED;
         }
-        if (std::find(amendments.begin(), amendments.end(), featureSmartEscrow) != amendments.end())
-        {
-            sle->at(sfExtensionComputeLimit) = config.FEES.extension_compute_limit;
-            sle->at(sfExtensionSizeLimit) = config.FEES.extension_size_limit;
-            sle->at(sfGasPrice) = config.FEES.gas_price;
-        }
         rawInsert(sle);
     }
 
@@ -583,7 +577,6 @@ Ledger::setup()
         {
             bool oldFees = false;
             bool newFees = false;
-            bool extensionFees = false;
             {
                 auto const baseFee = sle->at(~sfBaseFee);
                 auto const reserveBase = sle->at(~sfReserveBase);
@@ -600,7 +593,6 @@ Ledger::setup()
                 auto const baseFeeXRP = sle->at(~sfBaseFeeDrops);
                 auto const reserveBaseXRP = sle->at(~sfReserveBaseDrops);
                 auto const reserveIncrementXRP = sle->at(~sfReserveIncrementDrops);
-
                 auto assign = [&ret](XRPAmount& dest, std::optional<STAmount> const& src) {
                     if (src)
                     {
@@ -615,32 +607,12 @@ Ledger::setup()
                 assign(fees_.increment, reserveIncrementXRP);
                 newFees = baseFeeXRP || reserveBaseXRP || reserveIncrementXRP;
             }
-            {
-                auto const extensionComputeLimit = sle->at(~sfExtensionComputeLimit);
-                auto const extensionSizeLimit = sle->at(~sfExtensionSizeLimit);
-                auto const gasPrice = sle->at(~sfGasPrice);
-
-                auto assign = [](std::uint32_t& dest, std::optional<std::uint32_t> const& src) {
-                    if (src)
-                    {
-                        dest = src.value();
-                    }
-                };
-                assign(fees_.extensionComputeLimit, extensionComputeLimit);
-                assign(fees_.extensionSizeLimit, extensionSizeLimit);
-                assign(fees_.gasPrice, gasPrice);
-                extensionFees = extensionComputeLimit || extensionSizeLimit || gasPrice;
-            }
             if (oldFees && newFees)
                 // Should be all of one or the other, but not both
                 ret = false;
             if (!rules_.enabled(featureXRPFees) && newFees)
                 // Can't populate the new fees before the amendment is enabled
                 ret = false;
-            if (!rules_.enabled(featureSmartEscrow) && extensionFees)
-                // Can't populate the extension fees before the amendment is
-                // enabled
-                ret = false;
         }
     }
     catch (SHAMapMissingNode const&)
@@ -660,9 +632,7 @@ void
 Ledger::defaultFees(Config const& config)
 {
     XRPL_ASSERT(
-        fees_.base == 0 && fees_.reserve == 0 && fees_.increment == 0 &&
-            fees_.extensionComputeLimit == 0 && fees_.extensionSizeLimit == 0 &&
-            fees_.gasPrice == 0,
+        fees_.base == 0 && fees_.reserve == 0 && fees_.increment == 0,
         "xrpl::Ledger::defaultFees : zero fees");
     if (fees_.base == 0)
         fees_.base = config.FEES.reference_fee;
@@ -670,13 +640,6 @@ Ledger::defaultFees(Config const& config)
         fees_.reserve = config.FEES.account_reserve;
     if (fees_.increment == 0)
         fees_.increment = config.FEES.owner_reserve;
-
-    if (fees_.extensionComputeLimit == 0)
-        fees_.extensionComputeLimit = config.FEES.extension_compute_limit;
-    if (fees_.extensionSizeLimit == 0)
-        fees_.extensionSizeLimit = config.FEES.extension_size_limit;
-    if (fees_.gasPrice == 0)
-        fees_.gasPrice = config.FEES.gas_price;
 }
 
 std::shared_ptr<SLE>

src/xrpld/app/misc/FeeVoteImpl.cpp

@@ -9,10 +9,10 @@ namespace xrpl {
 
 namespace detail {
 
-template <typename value_type>
 class VotableValue
 {
 private:
+    using value_type = XRPAmount;
     value_type const current_;  // The current setting
     value_type const target_;   // The setting we want
     std::map<value_type, int> voteMap_;
@@ -46,9 +46,8 @@ public:
     getVotes() const;
 };
 
-template <typename value_type>
-std::pair<value_type, bool>
-VotableValue<value_type>::getVotes() const
+auto
+VotableValue::getVotes() const -> std::pair<value_type, bool>
 {
     value_type ourVote = current_;
     int weight = 0;
@@ -102,16 +101,17 @@ FeeVoteImpl::doValidation(Fees const& lastFees, Rules const& rules, STValidation
     // Values should always be in a valid range (because the voting process
     // will ignore out-of-range values) but if we detect such a case, we do
     // not send a value.
-    auto vote = [&v, this](auto const current, auto target, char const* name, auto const& sfield) {
-        if (current != target)
-        {
-            JLOG(journal_.info()) << "Voting for " << name << " of " << target;
-
-            v[sfield] = target;
-        }
-    };
     if (rules.enabled(featureXRPFees))
     {
+        auto vote =
+            [&v, this](auto const current, XRPAmount target, char const* name, auto const& sfield) {
+                if (current != target)
+                {
+                    JLOG(journal_.info()) << "Voting for " << name << " of " << target;
+
+                    v[sfield] = target;
+                }
+            };
         vote(lastFees.base, target_.reference_fee, "base fee", sfBaseFeeDrops);
         vote(lastFees.reserve, target_.account_reserve, "base reserve", sfReserveBaseDrops);
         vote(
@@ -124,12 +124,12 @@ FeeVoteImpl::doValidation(Fees const& lastFees, Rules const& rules, STValidation
     {
         auto to32 = [](XRPAmount target) { return target.dropsAs<std::uint32_t>(); };
         auto to64 = [](XRPAmount target) { return target.dropsAs<std::uint64_t>(); };
-        auto voteAndConvert = [&v, this](
-                                  auto const current,
-                                  XRPAmount target,
-                                  auto const& convertCallback,
-                                  char const* name,
-                                  auto const& sfield) {
+        auto vote = [&v, this](
+                        auto const current,
+                        XRPAmount target,
+                        auto const& convertCallback,
+                        char const* name,
+                        auto const& sfield) {
             if (current != target)
             {
                 JLOG(journal_.info()) << "Voting for " << name << " of " << target;
@@ -139,30 +139,15 @@ FeeVoteImpl::doValidation(Fees const& lastFees, Rules const& rules, STValidation
             }
         };
 
-        voteAndConvert(lastFees.base, target_.reference_fee, to64, "base fee", sfBaseFee);
-        voteAndConvert(
-            lastFees.reserve, target_.account_reserve, to32, "base reserve", sfReserveBase);
-        voteAndConvert(
+        vote(lastFees.base, target_.reference_fee, to64, "base fee", sfBaseFee);
+        vote(lastFees.reserve, target_.account_reserve, to32, "base reserve", sfReserveBase);
+        vote(
             lastFees.increment,
             target_.owner_reserve,
             to32,
             "reserve increment",
             sfReserveIncrement);
     }
-    if (rules.enabled(featureSmartEscrow))
-    {
-        vote(
-            lastFees.extensionComputeLimit,
-            target_.extension_compute_limit,
-            "extension compute limit",
-            sfExtensionComputeLimit);
-        vote(
-            lastFees.extensionSizeLimit,
-            target_.extension_size_limit,
-            "extension size limit",
-            sfExtensionSizeLimit);
-        vote(lastFees.gasPrice, target_.gas_price, "gas price", sfGasPrice);
-    }
 }
 
 void
@@ -182,19 +167,11 @@ FeeVoteImpl::doVoting(
 
     detail::VotableValue incReserveVote(lastClosedLedger->fees().increment, target_.owner_reserve);
 
-    detail::VotableValue extensionComputeVote(
-        lastClosedLedger->fees().extensionComputeLimit, target_.extension_compute_limit);
-
-    detail::VotableValue extensionSizeVote(
-        lastClosedLedger->fees().extensionSizeLimit, target_.extension_size_limit);
-
-    detail::VotableValue gasPriceVote(lastClosedLedger->fees().gasPrice, target_.gas_price);
-
     auto const& rules = lastClosedLedger->rules();
     if (rules.enabled(featureXRPFees))
     {
         auto doVote = [](std::shared_ptr<STValidation> const& val,
-                         detail::VotableValue<XRPAmount>& value,
+                         detail::VotableValue& value,
                          SF_AMOUNT const& xrpField) {
             if (auto const field = ~val->at(~xrpField); field && field->native())
             {
@@ -222,7 +199,7 @@ FeeVoteImpl::doVoting(
     else
     {
         auto doVote = [](std::shared_ptr<STValidation> const& val,
-                         detail::VotableValue<XRPAmount>& value,
+                         detail::VotableValue& value,
                          auto const& valueField) {
             if (auto const field = val->at(~valueField))
             {
@@ -252,30 +229,6 @@ FeeVoteImpl::doVoting(
             doVote(val, incReserveVote, sfReserveIncrement);
         }
     }
-    if (rules.enabled(featureSmartEscrow))
-    {
-        auto doVote = [](std::shared_ptr<STValidation> const& val,
-                         detail::VotableValue<std::uint32_t>& value,
-                         SF_UINT32 const& extensionField) {
-            if (auto const field = ~val->at(~extensionField); field)
-            {
-                value.addVote(field.value());
-            }
-            else
-            {
-                value.noVote();
-            }
-        };
-
-        for (auto const& val : set)
-        {
-            if (!val->isTrusted())
-                continue;
-            doVote(val, extensionComputeVote, sfExtensionComputeLimit);
-            doVote(val, extensionSizeVote, sfExtensionSizeLimit);
-            doVote(val, gasPriceVote, sfGasPrice);
-        }
-    }
 
     // choose our positions
     // TODO: Use structured binding once LLVM 16 is the minimum supported
@@ -284,15 +237,11 @@ FeeVoteImpl::doVoting(
     auto const baseFee = baseFeeVote.getVotes();
     auto const baseReserve = baseReserveVote.getVotes();
     auto const incReserve = incReserveVote.getVotes();
-    auto const extensionCompute = extensionComputeVote.getVotes();
-    auto const extensionSize = extensionSizeVote.getVotes();
-    auto const gasPrice = gasPriceVote.getVotes();
 
     auto const seq = lastClosedLedger->header().seq + 1;
 
     // add transactions to our position
-    if (baseFee.second || baseReserve.second || incReserve.second || extensionCompute.second ||
-        extensionSize.second || gasPrice.second)
+    if (baseFee.second || baseReserve.second || incReserve.second)
     {
         JLOG(journal_.warn()) << "We are voting for a fee change: " << baseFee.first << "/"
                               << baseReserve.first << "/" << incReserve.first;
@@ -317,12 +266,6 @@ FeeVoteImpl::doVoting(
                     incReserve.first.dropsAs<std::uint32_t>(incReserveVote.current());
                 obj[sfReferenceFeeUnits] = Config::FEE_UNITS_DEPRECATED;
             }
-            if (rules.enabled(featureSmartEscrow))
-            {
-                obj[sfExtensionComputeLimit] = extensionCompute.first;
-                obj[sfExtensionSizeLimit] = extensionSize.first;
-                obj[sfGasPrice] = gasPrice.first;
-            }
         });
 
         uint256 txID = feeTx.getTransactionID();