shorter names

Signed-off-by: xermicus <bigcyrill@hotmail.com>

crates/core/Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "revive-differential-testing-core"
+name = "revive-dt-core"
 version.workspace = true
 authors.workspace = true
 license.workspace = true
@@ -12,10 +12,11 @@ name = "retester"
 path = "src/main.rs"
 
 [dependencies]
+revive-dt-format = { workspace = true }
+
 anyhow = { workspace = true }
 clap = { workspace = true }
 log = { workspace = true }
 env_logger = { workspace = true }
-revive-differential-testing-format = { workspace = true }
 serde = { workspace = true, features = [ "derive" ] }
 serde_json = { workspace = true }

crates/core/src/main.rs

@@ -2,8 +2,8 @@ use std::collections::BTreeSet;
 
 use clap::Parser;
 
-use revive_differential_testing_core::arguments::Arguments;
-use revive_differential_testing_format::corpus::Corpus;
+use revive_dt_core::arguments::Arguments;
+use revive_dt_format::corpus::Corpus;
 
 fn main() -> anyhow::Result<()> {
     env_logger::init();