Skip to content

Commit

Permalink
test tracing
Browse files Browse the repository at this point in the history
  • Loading branch information
error2215 committed Feb 2, 2024
1 parent c234919 commit e4c93d0
Show file tree
Hide file tree
Showing 3 changed files with 27 additions and 0 deletions.
24 changes: 24 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

1 change: 1 addition & 0 deletions spark/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,7 @@ tokio = { version = "1", features = ["time"] }
tracing = "0.1"
tracing-subscriber = "0.3"
yansi = "0.5"
tracing-test = "0.2.4"

[dev-dependencies]
corebc = { workspace = true, features = ["ylem-full", "ylem-tests", "rustls"]}
Expand Down
2 changes: 2 additions & 0 deletions spark/tests/it/invariant.rs
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ use crate::{config::*, test_helpers::filter::Filter};
use corebc::types::U256;
use spark::fuzz::CounterExample;
use std::collections::BTreeMap;
use tracing_test::traced_test;

#[tokio::test(flavor = "multi_thread")]
async fn test_invariant() {
Expand Down Expand Up @@ -110,6 +111,7 @@ async fn test_invariant_override() {
}

#[tokio::test(flavor = "multi_thread")]
#[traced_test]
async fn test_invariant_storage() {
let mut runner = runner().await;

Expand Down

0 comments on commit e4c93d0

Please sign in to comment.