Debug a contract

To debug a contract, let's take the simple counter contract from the Clarinet quickstart as an example.

(define-map Counters principal uint)

(define-read-only (get-count (who principal))
  (default-to u0 (map-get? Counters who))
)

(define-public (count-up)
  (ok (map-set Counters tx-sender (+ (get-count tx-sender) u1)))
)

To initiate a debug session for this contract, first run the clarinet console command inside your project.

$ 
clarinet consoleCopy

Trace

The ::trace command expects an expression, so make a contract-call? with our count-up function and see what happens.

$ 
::trace (contract-call? .counter count-up)
Copy
[show output]

We should see a complete trace of our get-count function call, outputting the arguments that were passed in (tx-sender) and return value (u0).

If we were to run this command again, we should see the return value go from u0 to u1.

Breakpoints

You also might want to set a breakpoint at a specific line to better understand what's happening in your contract.

With ::debug, you can add breakpoints at a specific line of a contract or function to better understand what's happening in your contracts.

To illustrate the power of breakpoints, first add a couple new functions to your contract:

;; Existing contract code...

(define-public (count-twice)
  (double)
)

(define-private (double)
  (begin
    (unwrap-panic (count-up))
    (count-up)
  )
)

Now add a break on the count-up function when calling the new double function.

$ 
::debug (contract-call? .counter count-twice)
Copy
$ 
break count-upCopy

Using the continue command, the breakpoint you set in the double function will trigger twice due to two count-up calls, which enables you to do variable and map analysis.