diff options
| -rw-r--r-- | tvix/eval/proptest-regressions/value/mod.txt | 7 | ||||
| -rw-r--r-- | tvix/eval/src/value/mod.rs | 16 |
2 files changed, 23 insertions, 0 deletions
diff --git a/tvix/eval/proptest-regressions/value/mod.txt b/tvix/eval/proptest-regressions/value/mod.txt new file mode 100644 index 000000000000..6817f771f053 --- /dev/null +++ b/tvix/eval/proptest-regressions/value/mod.txt @@ -0,0 +1,7 @@ +# Seeds for failure cases proptest has generated in the past. It is +# automatically read and these particular cases re-run before any +# novel cases are generated. +# +# It is recommended to check this file in to source control so that +# everyone who runs the test benefits from these saved cases. +cc 241ec68db9f684f4280d4c7907f7105e7b746df433fbb5cbd6bf45323a7f3be0 # shrinks to input = _ReflexiveArgs { x: List(NixList([List(NixList([Path("𑁯")]))])) } 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() + } + ); +} |