Skip to content

Commit daaa272

Browse files
committed
nits
1 parent 640d0bb commit daaa272

2 files changed

Lines changed: 10 additions & 10 deletions

File tree

crates/anodized-core/src/instrument/data.rs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
1+
#[cfg(test)]
2+
#[path = "data_tests.rs"]
3+
mod data_tests;
4+
15
use proc_macro2::TokenStream;
26
use quote::ToTokens;
37
use syn::{ItemEnum, ItemImpl, ItemStruct, Result, parse_quote};
48

59
use crate::{DataSpec, instrument::Config};
610

7-
#[cfg(test)]
8-
#[path = "data_tests.rs"]
9-
mod data_tests;
10-
1111
impl Config {
1212
pub fn instrument_item_struct(
1313
&self,

crates/anodized-core/src/instrument/fns.rs

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@
22
#[path = "fns_tests.rs"]
33
mod fns_tests;
44

5-
use crate::{
6-
Capture, PostCondition, PreCondition, Spec,
7-
instrument::{Config, build_assert, build_eprint},
8-
qualifiers::FnQualifiers,
9-
};
10-
115
use proc_macro2::Span;
126
use quote::{ToTokens, quote};
137
use syn::{
@@ -16,6 +10,12 @@ use syn::{
1610
parse_quote,
1711
};
1812

13+
use crate::{
14+
Capture, PostCondition, PreCondition, Spec,
15+
instrument::{Config, build_assert, build_eprint},
16+
qualifiers::FnQualifiers,
17+
};
18+
1919
impl Config {
2020
pub fn instrument_fn(&self, spec: &Spec, sig: &Signature, body: &mut Block) -> syn::Result<()> {
2121
self.instrument_loops_in_fn_body(body)?;

0 commit comments

Comments
 (0)