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

# Local harel store artifacts (SPEC §13.1 default store + sqlite files)
.harel/
*.sqlite
*.sqlite-*

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