Move the size test to a new Bazel target

rs/tla_instrumentation/BUILD.bazel

@@ -50,6 +50,12 @@ rust_test(
     ],
 )
 
+rust_test(
+    name = "basic_tests",
+    srcs = ["tla_instrumentation/tests/basic_tests.rs"],
+    deps = [":tla_instrumentation"],
+)
+
 rust_test(
     name = "multiple_calls_test",
     srcs = [

rs/tla_instrumentation/tla_instrumentation/tests/basic_tests.rs

@@ -0,0 +1,23 @@
+use std::collections::BTreeMap;
+use tla_instrumentation::{TlaValue, ToTla};
+
+#[test]
+fn size_test() {
+    let myval = TlaValue::Record(BTreeMap::from([
+        (
+            "field1".to_string(),
+            TlaValue::Function(BTreeMap::from([(
+                1_u64.to_tla_value(),
+                true.to_tla_value(),
+            )])),
+        ),
+        (
+            "field2".to_string(),
+            TlaValue::Variant {
+                tag: "tag".to_string(),
+                value: Box::new("abc".to_tla_value()),
+            },
+        ),
+    ]));
+    assert_eq!(myval.size(), 6);
+}

rs/tla_instrumentation/tla_instrumentation/tests/structs.rs

@@ -149,27 +149,6 @@ impl StructCanister {
     }
 }
 
-#[test]
-fn size_test() {
-    let myval = TlaValue::Record(BTreeMap::from([
-        (
-            "field1".to_string(),
-            TlaValue::Function(BTreeMap::from([(
-                1_u64.to_tla_value(),
-                true.to_tla_value(),
-            )])),
-        ),
-        (
-            "field2".to_string(),
-            TlaValue::Variant {
-                tag: "tag".to_string(),
-                value: Box::new("abc".to_tla_value()),
-            },
-        ),
-    ]));
-    assert_eq!(myval.size(), 6);
-}
-
 #[test]
 fn struct_test() {
     unsafe {