about summary refs log tree commit diff
path: root/tvix/eval/src/value/attrs/tests.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tvix/eval/src/value/attrs/tests.rs')
-rw-r--r--tvix/eval/src/value/attrs/tests.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/tvix/eval/src/value/attrs/tests.rs b/tvix/eval/src/value/attrs/tests.rs
index 539a07e00f..4556d26dd0 100644
--- a/tvix/eval/src/value/attrs/tests.rs
+++ b/tvix/eval/src/value/attrs/tests.rs
@@ -7,7 +7,7 @@ mod nix_eq {
     use proptest::prelude::ProptestConfig;
     use test_strategy::proptest;
 
-    #[proptest(ProptestConfig { cases: 5, ..Default::default() })]
+    #[proptest(ProptestConfig { cases: 2, ..Default::default() })]
     fn reflexive(x: NixAttrs) {
         let mut observer = NoOpObserver {};
         let mut vm = VM::new(&mut observer);
@@ -15,7 +15,7 @@ mod nix_eq {
         assert!(x.nix_eq(&x, &mut vm).unwrap())
     }
 
-    #[proptest(ProptestConfig { cases: 5, ..Default::default() })]
+    #[proptest(ProptestConfig { cases: 2, ..Default::default() })]
     fn symmetric(x: NixAttrs, y: NixAttrs) {
         let mut observer = NoOpObserver {};
         let mut vm = VM::new(&mut observer);
@@ -26,7 +26,7 @@ mod nix_eq {
         )
     }
 
-    #[proptest(ProptestConfig { cases: 5, ..Default::default() })]
+    #[proptest(ProptestConfig { cases: 2, ..Default::default() })]
     fn transitive(x: NixAttrs, y: NixAttrs, z: NixAttrs) {
         let mut observer = NoOpObserver {};
         let mut vm = VM::new(&mut observer);