# Generated by Cargo

# will have compiled files and executables

debug

target

# These are backup files generated by rustfmt

**/*.rs.bk

# MSVC Windows builds of rustc generate these, which store debugging information

*.pdb

# Generated by cargo mutants

# Contains mutation testing data

**/mutants.out*/

# RustRover

# JetBrains specific template is maintained in a separate JetBrains.gitignore that can

# be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore

# and can be added to the global gitignore or merged into this file. For a more nuclear

# option (not recommended) you can uncomment the following to ignore the entire idea folder.

#.idea/

/.idea/*

/.ota/state/*

/core

# Ota local runtime state

.ota/state/

# Ota local runtime artifacts

.ota/contracts/

.ota/receipts/

.ota/proof/*

/typescript