From 65545fe9f6eb2f690abaad505eb79914e86544f6 Mon Sep 17 00:00:00 2001 From: Jan Ferdinand Sauer Date: Wed, 4 Sep 2024 14:24:02 +0200 Subject: [PATCH] perf(test): Remove super slow try-build test --- Cargo.toml | 1 - triton-vm/Cargo.toml | 1 - triton-vm/src/profiler.rs | 7 ------- triton-vm/trybuild/profiler_macro_is_private.rs | 3 --- triton-vm/trybuild/profiler_macro_is_private.stderr | 11 ----------- 5 files changed, 23 deletions(-) delete mode 100644 triton-vm/trybuild/profiler_macro_is_private.rs delete mode 100644 triton-vm/trybuild/profiler_macro_is_private.stderr diff --git a/Cargo.toml b/Cargo.toml index 55cb8d41b..4bbce6559 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -62,7 +62,6 @@ strum = { version = "0.26", features = ["derive"] } syn = "2.0" test-strategy = "0.4.0" thiserror = "1.0" -trybuild = "1.0" twenty-first = "0.42.0-alpha.9" unicode-width = "0.1" diff --git a/triton-vm/Cargo.toml b/triton-vm/Cargo.toml index b54daa884..b352ef9b6 100644 --- a/triton-vm/Cargo.toml +++ b/triton-vm/Cargo.toml @@ -55,7 +55,6 @@ proptest.workspace = true proptest-arbitrary-interop.workspace = true serde_json.workspace = true test-strategy.workspace = true -trybuild.workspace = true [build-dependencies] air.workspace = true diff --git a/triton-vm/src/profiler.rs b/triton-vm/src/profiler.rs index a4f7350ea..5043e830c 100644 --- a/triton-vm/src/profiler.rs +++ b/triton-vm/src/profiler.rs @@ -671,16 +671,9 @@ mod tests { use std::time::Duration; use test_strategy::proptest; - use trybuild; use super::*; - #[test] - fn profiler_macro_is_private() { - let trybuild = trybuild::TestCases::new(); - trybuild.compile_fail("trybuild/profiler_macro_is_private.rs"); - } - #[test] fn sanity() { let mut profiler = VMPerformanceProfiler::new("Sanity Test"); diff --git a/triton-vm/trybuild/profiler_macro_is_private.rs b/triton-vm/trybuild/profiler_macro_is_private.rs deleted file mode 100644 index 9f9a45620..000000000 --- a/triton-vm/trybuild/profiler_macro_is_private.rs +++ /dev/null @@ -1,3 +0,0 @@ -use triton_vm::profiler::profiler; - -fn main() {} diff --git a/triton-vm/trybuild/profiler_macro_is_private.stderr b/triton-vm/trybuild/profiler_macro_is_private.stderr deleted file mode 100644 index 48cd30746..000000000 --- a/triton-vm/trybuild/profiler_macro_is_private.stderr +++ /dev/null @@ -1,11 +0,0 @@ -error[E0603]: macro `profiler` is private - --> trybuild/profiler_macro_is_private.rs:1:26 - | -1 | use triton_vm::profiler::profiler; - | ^^^^^^^^ private macro - | -note: the macro `profiler` is defined here - --> src/profiler.rs - | - | pub(crate) use profiler; - | ^^^^^^^^