test(tvix/eval): Add tests for the Eq laws of Value
Only running 20 cases for now, since Value can get quite big if you let it run for a while. Change-Id: I09ef19da22c789c4869793836c98937c44595340 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6648 Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
This commit is contained in:
parent
96d869923a
commit
c7faba0c8e
2 changed files with 23 additions and 0 deletions
7
tvix/eval/proptest-regressions/value/mod.txt
Normal file
7
tvix/eval/proptest-regressions/value/mod.txt
Normal file
|
@ -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("𑁯")]))])) }
|
|
@ -332,3 +332,19 @@ fn type_error(expected: &'static str, actual: &Value) -> ErrorKind {
|
||||||
actual: actual.type_of(),
|
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()
|
||||||
|
}
|
||||||
|
);
|
||||||
|
}
|
||||||
|
|
Loading…
Add table
Reference in a new issue