diff --git a/sparta/rust/tests/datatype/disjoint_union_test.rs b/sparta/rust/tests/disjoint_union_test.rs similarity index 98% rename from sparta/rust/tests/datatype/disjoint_union_test.rs rename to sparta/rust/tests/disjoint_union_test.rs index 02c873e88ed..28f757dd075 100644 --- a/sparta/rust/tests/datatype/disjoint_union_test.rs +++ b/sparta/rust/tests/disjoint_union_test.rs @@ -11,6 +11,7 @@ use sparta::datatype::AbstractDomain; use sparta::datatype::DisjointUnion; use sparta::datatype::HashSetAbstractDomain; +#[allow(dead_code)] #[derive(Clone, DisjointUnion, PartialEq, Eq)] enum MyUnionedDomain { FirstCase(HashSetAbstractDomain), @@ -119,6 +120,7 @@ fn test_meet_diff_arm() { assert!(met_mudom.is_bottom()); } +#[allow(dead_code)] #[derive(Clone, DisjointUnion, PartialEq, Eq)] enum TestGenericsDeriveTypechecks where @@ -129,6 +131,7 @@ where SecondCase(HashSetAbstractDomain), } +#[allow(dead_code)] #[derive(Clone, DisjointUnion, PartialEq, Eq)] enum TestGenericsDeriveForWholeDomainTypechecks where