Skip to content

Commit

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

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

6 changes: 4 additions & 2 deletions spark/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -28,10 +28,12 @@ serde = "1"
serde_json = "1"
tokio = { version = "1", features = ["time"] }
tracing = "0.1"
tracing-subscriber = "0.3"
yansi = "0.5"
tracing-test = "0.2.4"
tracing-subscriber = {version = "0.3", features = ["env-filter"]}

[dev-dependencies]
corebc = { workspace = true, features = ["ylem-full", "ylem-tests", "rustls"]}
foxar-utils = { path = "./../utils" }

[profile.test] # fixed
opt-level = 4
9 changes: 7 additions & 2 deletions spark/tests/it/invariant.rs
Original file line number Diff line number Diff line change
Expand Up @@ -4,10 +4,16 @@ use crate::{config::*, test_helpers::filter::Filter};
use corebc::types::U256;
use spark::fuzz::CounterExample;
use std::collections::BTreeMap;
use tracing_test::traced_test;
use tracing::level_filters::LevelFilter;
use tracing_subscriber::EnvFilter;

#[tokio::test(flavor = "multi_thread")]
async fn test_invariant() {
let filter =
EnvFilter::builder().with_default_directive(LevelFilter::TRACE.into()).from_env().unwrap();

tracing_subscriber::fmt().with_env_filter(filter).compact().init();

let mut runner = runner().await;

let results = runner
Expand Down Expand Up @@ -111,7 +117,6 @@ 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 8c08312

Please sign in to comment.