Skip to content

runtimeverification/simbolik-examples

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

10 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Simbolik Example

Welcome to the Simbolik Example repository, your gateway to exploring Simbolik - the Solidity Debugger.

Getting Started

If you haven't done so yet, follow the steps from our Getting Started guide to set up your environment and install the Simbolik VSCode extension.

Once you're set up, open the test/DebugCPAMM.sol file in VSCocde. You'll find a ▷ Debug button above to the debugAddLiquidity and debugSwap functions. Simply click it to start the debugging process.

Happy debugging!

You can learn more about Simbolik in our documentation.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published