From: Ian Jackson Date: Sat, 10 Jul 2021 17:13:52 +0000 (+0100) Subject: jst-lower: Increase amount of exhaustive testing X-Git-Tag: otter-0.7.2~136 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=85cda667fbec55f54e3c030c29e4cb9e701dbc23;p=otter.git 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 --- 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()?;