traceforge 0.2.0

# 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 = "2021"
name = "traceforge"
version = "0.2.0"
build = false
exclude = ["/target"]
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "TraceForge is a model checker for concurrent and distributed programs written in Rust"
readme = false
keywords = [
    "model-checking",
    "message-passing",
    "thread",
    "async",
    "verification",
]
categories = [
    "concurrency",
    "development-tools::testing",
]
license = "Apache-2.0"
repository = "https://github.com/awslabs/TraceForge"

[features]
default = ["print_vals"]
print_stamps = []
print_vals = []
print_vals_custom = []

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

[[example]]
name = "hard_to_find"
path = "examples/hard_to_find.rs"

[[example]]
name = "simple"
path = "examples/simple.rs"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[[test]]
name = "sync"
path = "tests/sync/main.rs"

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

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

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

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

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

[dependencies.bitvec]
version = "1.0.1"

[dependencies.bytes]
version = "1.10"

[dependencies.dyn-clone]
version = "1.0.9"

[dependencies.dyn-eq]
version = "0.1.3"

[dependencies.dyn-hash]
version = "0.2.0"

[dependencies.exitcode]
version = "1.1.2"

[dependencies.futures]
version = "0.3"

[dependencies.generator]
version = "0.7.1"

[dependencies.indexmap]
version = "2.12"

[dependencies.log]
version = "0.4"
features = ["release_max_level_off"]

[dependencies.merging-iterator]
version = "1.3.0"

[dependencies.num_cpus]
version = "1.15"

[dependencies.paste]
version = "1.0"

[dependencies.rand]
version = "0.8.5"

[dependencies.rand_pcg]
version = "0.3.1"

[dependencies.scoped-tls]
version = "1.0.0"

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

[dependencies.serde_json]
version = "1.0"

[dependencies.smallvec]
version = "1.6.1"

[dependencies.tokio]
version = "1.50"
features = ["full"]

[dependencies.traceforge-macros]
version = "0.1"

[dev-dependencies.lazy_static]
version = "1.4.0"

[dev-dependencies.num-integer]
version = "0.1"

[dev-dependencies.serial_test]
version = "3.4.0"

[dev-dependencies.simplelog]
version = "^0.12.0"