Setting up a local development environment
Clarinet is a local Clarity runtime packaged as a command-line application. It's designed to facilitate rapid smart contract development, testing, and deployment. Clarinet consists of a Clarity REPL and a testing harness, which, when used together, allow you to rapidly develop and test a Clarity smart contract, without the need to deploy the contract to a local mocknet or testnet.
The local Clarity REPL is advantageous, because when learning Clarity or when developing a new smart contract, it's useful to be able to exercise a contract without needing to wait for block times in a live blockchain. Clarinet allows you to instantly initialize wallets and populate them with tokens, so that you can interactively or programmatically test the behavior of the smart contract. Blocks are mined instantly, and you can control the number of blocks that are mined between testing transactions.
Clarinet is a useful tool for developing smart contracts, and should be used as part of a larger development strategy that involves building and testing the contract locally, deploying the final draft contract to a testnet environment and testing on a live blockchain, and deploying the final contract to the mainnet.
When developing smart contracts, you may also want to use the Clarity Visual Studio Code plugin.
#
Installing ClarinetClarinet is available in the Homebrew and Winget package managers. Installing from a package manager is the recommended installation method.
#
Installing from Homebrew (MacOS and Linux)Install Clarinet from Homebrew with the command:
brew install clarinet
#
Installing from winget (Windows)With the winget package manager installed, use the following command:
winget install clarinet
#
Installing from a binary releaseYou can download a release from the Clarinet repository.
Unzip the binary, then copy it to a location that is already in your path, such as /usr/local/bin
.
unzip clarinet-linux-x64.zip -d .chmod +x ./clarinetmv ./clarinet /usr/local/bin
If you are using MacOS, you may get security warnings when trying to run the precompiled binary. You can resolve the security warning with the command:
xattr -d com.apple.quarantine /path/to/downloaded/clarinet
#
Installing from sourceFollow the procedure outlined in the Clarinet repository to install from source.
#
Developing a Clarity smart contractOnce you have installed Clarinet, you can begin a new Clarinet project with the command:
clarinet new my-project && cd my-project
This command creates a new directory and populates it with boilerplate configuration and testing files. The toml
files
located in the settings
directory control the Clarinet environment. For example, the Devnet.toml
file contains
definitions for wallets in the local REPL environment, and their starting balances (in STX).
...[accounts.deployer]mnemonic = "fetch outside black test wash cover just actual execute nice door want airport betray quantum stamp fish act pen trust portion fatigue scissors vague"balance = 1_000_000
[accounts.wallet_1]mnemonic = "spoil sock coyote include verify comic jacket gain beauty tank flush victory illness edge reveal shallow plug hobby usual juice harsh pact wreck eight"balance = 1_000_000
[accounts.wallet_2]mnemonic = "arrange scale orient half ugly kid bike twin magnet joke hurt fiber ethics super receive version wreck media fluid much abstract reward street alter"balance = 1_000_000...
You can create a new contract in the project with the command:
clarinet contract new my-contract
This command creates a new my-contract.clar
file in the contracts
directory, and a my-contract_test.ts
in the
test
directory. Additionally, it adds the contract to the Clarinet.toml
configuration file.
[contracts.my-contract]path = "contracts/my-contract.clar"depends_on = []
At this point, you can begin editing your smart contract in the contracts
directory. At any point while you are
developing, you can use the command clarinet check
to check the syntax of your smart contract.
For a more in-depth overview of developing with Clarinet, review this comprehensive walkthrough video.
#
Testing with ClarinetClarinet provides several powerful methods to test and interact with your smart contracts. As mentioned in the previous
section, you can always check your Clarity syntax using the clarinet check
command. This validates any smart contracts
you are currently developing in the active project.
There are two tools in Clarinet you can use to test smart contracts: the console, an interactive Clarity REPL, and the test harness, a testing framework written in Typescript.
#
Testing with the consoleThe Clarinet console is an interactive Clarity REPL that runs in-memory. Any contracts configured in the current project
are automatically loaded into memory. Additionally, wallets defined in the settings/Devnet.toml
file are
initialized with STX tokens for testing purposes. When the console runs, it provides a summary of the deployed
contracts, their public functions, as well as wallet addresses and balances.
clarity-repl v0.11.0Enter "::help" for usage hints.Connected to a transient in-memory database.Initialized contracts+-------------------------------------------------------+-------------------------+| Contract identifier | Public functions |+-------------------------------------------------------+-------------------------+| ST1HTBVD3JG9C05J7HBJTHGR0GGW7KXW28M5JS8QE.my-contract | (echo-number (val int)) || | (say-hi) |+-------------------------------------------------------+-------------------------+
Initialized balances+------------------------------------------------------+---------+| Address | STX |+------------------------------------------------------+---------+| ST1HTBVD3JG9C05J7HBJTHGR0GGW7KXW28M5JS8QE (deployer) | 1000000 |+------------------------------------------------------+---------+| ST1J4G6RR643BCG8G8SR6M2D9Z9KXT2NJDRK3FBTK (wallet_1) | 1000000 |+------------------------------------------------------+---------+...
You can use the ::help
command for valid console commands.
>> ::help::help Display help::list_functions Display all the native functions available in Clarity::describe_function <function> Display documentation for a given native function fn-name::mint_stx <principal> <amount> Mint STX balance for a given principal::set_tx_sender <principal> Set tx-sender variable to principal::get_assets_maps Get assets maps for active accounts::get_costs <expr> Display the cost analysis::get_contracts Get contracts::get_block_height Get current block height::advance_chain_tip <count> Simulate mining of <count> blocks
The console commands control the state of the REPL chain, and let you get information about it and advance the chain
tip. Additionally, you can enter Clarity commands into the console and observe the result of the command. The
::list_functions
console command prints a cheat sheet of Clarity commands. For example, in the example contract,
you could use the REPL to call the echo-number
function in the contract with the following command:
>> (contract-call? .my-contract echo-number 42)(ok 42)
Note that by default commands are always executed as the deployer
address, which means you can use the shorthand
.my-contract
without specifying a full address to the contract. If you changed the transaction address with the
::set_tx_sender
command, you would need to provide the full address to the contract in the contract call
(ST1HTBVD3JG9C05J7HBJTHGR0GGW7KXW28M5JS8QE.my-contract
).
You can refer to the Clarity language reference for a complete overview of all Clarity functions.
#
Testing with the test harnessThe test harness is a Deno testing library that can simulate the blockchain, exercise functions of the contract, and make testing assertions about the state of the contract or chain.
You can run any tests configured in the tests
directory with the command
clarinet test
When you create a new contract, a test suite is automatically created for it. You can populate the test suite with unit tests as you develop the contract.
An example unit test for the echo-number
function is provided below:
...Clarinet.test({ name: 'the echo-number function returns the input value ok', async fn(chain: Chain, accounts: Map<string, Account>) { const testNum = '42'; let deployerWallet = accounts.get('deployer')!; let block = chain.mineBlock([ Tx.contractCall( `${deployerWallet.address}.my-contract`, 'echo-number', [testNum], deployerWallet.address, ), ]); assertEquals(block.receipts.length, 1); // assert that the block received a single tx assertEquals(block.receipts[0].result, `(ok ${testNum})`); // assert that the result of the tx was ok and the input number assertEquals(block.height, 2); // assert that only a single block was mined },});
For more information on assertions, review asserts in the Deno standard library. For more information on the available Clarity calls in Deno, review the Deno Clarinet library.