# 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/


# Added by cargo

/target

# Batuta runtime state
.batuta-state.json
.batuta-private.toml

# mdBook build output
book/book/
proptest-regressions/

# PMAT
.pmat/backup/
.pmat/hooks-cache/
.pmat/dead-code-cache.json
.pmat/project.toml
.pmat-qa/

# PMAT work tracking (local only)
.pmat-work/
.pmat-work.toml
.pmat-tickets/

# PMAT
.pmat/context.idx/
.pmat/workspace.idx/
.pmat/deps-cache.json
.pmat/context.db
.pmat/workspace.db
.pmat/bug-hunter-cache/
.pmat/coverage-cache.json
*.bak
.pmat/metrics/
.pmat-metrics/
book/.pmat/
.cargo/config.toml
src/generated_contracts.rs

# Provable-contracts lint cache
.pv/
