From ab3d413824056439c69aa457b2e7f8fed881e81e Mon Sep 17 00:00:00 2001
From: Kai Daniel <kaiingodaniel@gmail.com>
Date: Wed, 23 Oct 2024 13:38:45 -0700
Subject: [PATCH] Enable disjoint union tests (#26)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Summary:
["Files in subdirectories of the tests directory don’t get compiled as separate crates or have sections in the test output."](https://doc.rust-lang.org/book/ch11-03-test-organization.html), so the `test/datatype/disjoint_union_test.rs` test is not run by the rust workflow.

These changes move `test/datatype/disjoint_union_test.rs` to `test/disjoint_union_test.rs` and add `#[allow(dead_code)]`s to avoid warnings generated by this test.

The rust workflow should show some additional test results:

```
Running `/home/runner/work/SPARTA/SPARTA/rust/target/debug/deps/disjoint_union_test-7d8dce3f7696edda`

running 6 tests
test test_basic_union_top_bottom_leq ... ok
test test_diff_arms_no_leq ... ok
test test_join_same_arm ... ok
test test_join_diff_arm ... ok
test test_meet_diff_arm ... ok
test test_meet_same_arm ... ok
```

Pull Request resolved: https://github.com/facebook/SPARTA/pull/26

Reviewed By: arnaudvenet

Differential Revision: D64787297

Pulled By: yuxuanchen1997

fbshipit-source-id: 3175d2a23e9ae34806cafd9c97754709f2ab189c
---
 rust/tests/{datatype => }/disjoint_union_test.rs | 3 +++
 1 file changed, 3 insertions(+)
 rename rust/tests/{datatype => }/disjoint_union_test.rs (98%)

diff --git a/rust/tests/datatype/disjoint_union_test.rs b/rust/tests/disjoint_union_test.rs
similarity index 98%
rename from rust/tests/datatype/disjoint_union_test.rs
rename to rust/tests/disjoint_union_test.rs
index 02c873e..28f757d 100644
--- a/rust/tests/datatype/disjoint_union_test.rs
+++ b/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<i32>),
@@ -119,6 +120,7 @@ fn test_meet_diff_arm() {
     assert!(met_mudom.is_bottom());
 }
 
+#[allow(dead_code)]
 #[derive(Clone, DisjointUnion, PartialEq, Eq)]
 enum TestGenericsDeriveTypechecks<S, T>
 where
@@ -129,6 +131,7 @@ where
     SecondCase(HashSetAbstractDomain<T>),
 }
 
+#[allow(dead_code)]
 #[derive(Clone, DisjointUnion, PartialEq, Eq)]
 enum TestGenericsDeriveForWholeDomainTypechecks<S: AbstractDomain, T>
 where