From 940251b87f9d73087e2f51411fff9eba84a7108e Mon Sep 17 00:00:00 2001 From: Vincent Ambo Date: Sat, 7 Jan 2023 15:23:32 +0300 Subject: refactor(tvix/value): use proptest strategies from imbl crate Instead of going through Vec/BTreeMap for generating our internal types, use the proptest strategies from imbl. The one thing I couldn't figure out in the previous implementation is where the ranges/sizes of generated collections came from. The strategies in proptest use different types (Range, with an unknown default value, and SizeRange with 0..100). I've opted to specify 0..100 directly, but we can probably make it configurable. Change-Id: I749bc4c703fe424099240cab822b1642e5216361 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7791 Autosubmit: tazjin Tested-by: BuildkiteCI Reviewed-by: flokli --- tvix/eval/Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tvix/eval/Cargo.toml') diff --git a/tvix/eval/Cargo.toml b/tvix/eval/Cargo.toml index 6974110290..24e6d33d0d 100644 --- a/tvix/eval/Cargo.toml +++ b/tvix/eval/Cargo.toml @@ -50,7 +50,7 @@ nix_tests = [] impure = [] # Enables Arbitrary impls for internal types (required to run tests) -arbitrary = [ "proptest", "test-strategy" ] +arbitrary = [ "proptest", "test-strategy", "imbl/proptest" ] # For debugging use only; not appropriate for production use. backtrace_overflow = [ "backtrace-on-stack-overflow" ] -- cgit 1.4.1