From 85cda667fbec55f54e3c030c29e4cb9e701dbc23 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 10 Jul 2021 18:13:52 +0100
Subject: [PATCH] jst-lower: Increase amount of exhaustive testing

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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jstest/jst-lower.rs b/jstest/jst-lower.rs
index b31b3beb..c5501192 100644
--- a/jstest/jst-lower.rs
+++ b/jstest/jst-lower.rs
@@ -378,7 +378,7 @@ fn main() {
     "73.7",
   ])?;
 
-  ta.add_exhaustive(2)?;
+  ta.add_exhaustive(5)?;
   
   let tests = ta.finalise()?;
 
-- 
2.30.2