From c7faba0c8ee0eea6b20540569ecbd99eb76fedfa Mon Sep 17 00:00:00 2001 From: Griffin Smith Date: Sun, 18 Sep 2022 13:22:02 -0400 Subject: 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 Tested-by: BuildkiteCI Reviewed-by: tazjin --- tvix/eval/proptest-regressions/value/mod.txt | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tvix/eval/proptest-regressions/value/mod.txt (limited to 'tvix/eval/proptest-regressions/value') 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("𑁯")]))])) } -- cgit 1.4.1