Debugging Contracts

trace

Compute an expression and print its value to std::out (or the console in a web-browser).

sp.trace(<expression>)

simulation

Graphical user interface and step by step simulation in a web-browser.

scenario.simulation(<contract>)