chiark
/
gitweb
/
~ianmdlvl
/
otter.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
bc374ab
)
jst-lower: Increase amount of exhaustive testing
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 10 Jul 2021 17:13:52 +0000
(18:13 +0100)
committer
Ian 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
patch
|
blob
|
history
diff --git
a/jstest/jst-lower.rs
b/jstest/jst-lower.rs
index b31b3beb5cdf2319d80b38da18f8986e5bba45ec..c5501192baef68cd13b082a5dba90c6f95ad990e 100644
(file)
--- 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()?;