# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[package]
edition = "2024"
rust-version = "1.85"
name = "rossi"
version = "0.1.0"
authors = ["Rossi Contributors"]
build = false
exclude = ["examples/*.zip"]
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Core Event-B parser, AST, pretty-printer, and Rodin XML/ZIP conversion library for Rossi"
readme = "README.md"
keywords = [
    "parser",
    "event-b",
    "formal-methods",
    "verification",
]
categories = [
    "parsing",
    "development-tools",
]
license = "MIT OR Apache-2.0"
repository = "https://github.com/eventb-rossi/rossi"

[package.metadata.docs.rs]
all-features = true

[features]
default = []
serde = ["dep:serde"]

[lib]
name = "rossi"
path = "src/lib.rs"

[[test]]
name = "action_span_test"
path = "tests/action_span_test.rs"

[[test]]
name = "base_model_test"
path = "tests/base_model_test.rs"

[[test]]
name = "comment_roundtrip_test"
path = "tests/comment_roundtrip_test.rs"

[[test]]
name = "doc_snippets_test"
path = "tests/doc_snippets_test.rs"

[[test]]
name = "edge_cases_test"
path = "tests/edge_cases_test.rs"

[[test]]
name = "error_recovery_test"
path = "tests/error_recovery_test.rs"

[[test]]
name = "expression_span_test"
path = "tests/expression_span_test.rs"

[[test]]
name = "full_models_test"
path = "tests/full_models_test.rs"

[[test]]
name = "hyphenated_names_test"
path = "tests/hyphenated_names_test.rs"

[[test]]
name = "identifier_validation_test"
path = "tests/identifier_validation_test.rs"

[[test]]
name = "multi_component_test"
path = "tests/multi_component_test.rs"

[[test]]
name = "nesting_limit_test"
path = "tests/nesting_limit_test.rs"

[[test]]
name = "operator_compatibility_test"
path = "tests/operator_compatibility_test.rs"

[[test]]
name = "pretty_test"
path = "tests/pretty_test.rs"

[[test]]
name = "proptest_roundtrip"
path = "tests/proptest_roundtrip.rs"

[[test]]
name = "reserved_words_test"
path = "tests/reserved_words_test.rs"

[[test]]
name = "rodin_models_test"
path = "tests/rodin_models_test.rs"

[[test]]
name = "simple_predicate_test"
path = "tests/simple_predicate_test.rs"

[[test]]
name = "structural_separator_test"
path = "tests/structural_separator_test.rs"

[[test]]
name = "working_examples_test"
path = "tests/working_examples_test.rs"

[[test]]
name = "xml_structure_test"
path = "tests/xml_structure_test.rs"

[[test]]
name = "xml_test"
path = "tests/xml_test.rs"

[dependencies.pest]
version = "2.7"

[dependencies.pest_derive]
version = "2.7"

[dependencies.quick-xml]
version = "0.40"

[dependencies.serde]
version = "1.0"
features = ["derive"]
optional = true

[dependencies.stacker]
version = "0.1"

[dependencies.thiserror]
version = "2.0"

[dependencies.zip]
version = "8.1"

[dev-dependencies.indoc]
version = "2.0"

[dev-dependencies.proptest]
version = "1.6"

[dev-dependencies.test-case]
version = "3.3"
