chiark / gitweb /
jst-lower: Increase amount of exhaustive testing
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Jul 2021 17:13:52 +0000 (18:13 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Jul 2021 18:32:58 +0000 (19:32 +0100)
This is still very fast.  I think it's doing around 2^(5*2) tests.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
jstest/jst-lower.rs

index b31b3beb5cdf2319d80b38da18f8986e5bba45ec..c5501192baef68cd13b082a5dba90c6f95ad990e 100644 (file)
@@ -378,7 +378,7 @@ fn main() {
     "73.7",
   ])?;
 
-  ta.add_exhaustive(2)?;
+  ta.add_exhaustive(5)?;
   
   let tests = ta.finalise()?;