about summary refs log tree commit diff
path: root/tvix/eval/src/value/mod.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tvix/eval/src/value/mod.rs')
-rw-r--r--tvix/eval/src/value/mod.rs16
1 files changed, 16 insertions, 0 deletions
diff --git a/tvix/eval/src/value/mod.rs b/tvix/eval/src/value/mod.rs
index 85abbcd3eece..594c1fd4735c 100644
--- a/tvix/eval/src/value/mod.rs
+++ b/tvix/eval/src/value/mod.rs
@@ -332,3 +332,19 @@ fn type_error(expected: &'static str, actual: &Value) -> ErrorKind {
         actual: actual.type_of(),
     }
 }
+
+#[cfg(test)]
+mod tests {
+    use crate::properties::eq_laws;
+    use proptest::prelude::ProptestConfig;
+
+    use super::*;
+
+    eq_laws!(
+        Value,
+        ProptestConfig {
+            cases: 20,
+            ..Default::default()
+        }
+    );
+}