# Copyright Kani Contributors
# SPDX-License-Identifier: Apache-2.0 OR MIT

# Run rustfmt with this config (it should be picked up automatically).
edition = "2021"
version = "Two"
use_small_heuristics = "Max"
merge_derives = false

ignore = [
    "**/build/",
    "**/target/",

    # Do not format submodules
    # For some reason, this is not working without the directory wildcard.
    "**/firecracker",
    "**/tests/perf/s2n-quic/",
    "**/tools/bookrunner/rust-doc/",
]