runtimeverification
diff --git a/‎…n/data/prove-rs/spl_token_domain_data.rs‎ ‎…gration/data/rs/spl_token_domain_data.rs‎kmir/src/tests/integration/data/prove-rs/spl_token_domain_data.rs renamed to kmir/src/tests/integration/data/rs/spl_token_domain_data.rs b/‎…n/data/prove-rs/spl_token_domain_data.rs‎ ‎…gration/data/rs/spl_token_domain_data.rs‎kmir/src/tests/integration/data/prove-rs/spl_token_domain_data.rs renamed to kmir/src/tests/integration/data/rs/spl_token_domain_data.rs