Address feedback

This commit is contained in:
Jan Winkelmann (keks)
2025-06-23 15:29:04 +02:00
parent 73df0ceca7
commit 91707cc430
9 changed files with 82 additions and 81 deletions

View File

@@ -25,8 +25,7 @@ mio = { workspace = true }
tempfile = { workspace = true }
uds = { workspace = true, optional = true, features = ["mio_1xx"] }
libcrux-test-utils = { workspace = true, optional = true }
lazy_static = { workspace = true, optional = true }
[features]
experiment_file_descriptor_passing = ["uds"]
trace_bench = ["dep:libcrux-test-utils", "dep:lazy_static"]
trace_bench = ["dep:libcrux-test-utils"]