MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

make GeneratorTest deterministic to avoid very occasional failures

Browse Source
This commit is contained in:
peter
2017-08-09 17:10:34 +02:00
parent ead3b98bdb
commit b50700bfe7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
jetCheck/test/jetCheck/GeneratorTest.java
+1 -1
View File
@@ -133,7 +133,7 @@ public class GeneratorTest extends PropertyCheckerTestCase {
Generator<List<Integer>> gen = nonEmptyLists(integers(0, 100));
Predicate<List<Integer>> property = l -> !l.contains(42);
PropertyFailure<?> failure = checkFails(PropertyChecker.forAll(gen), property).getFailure();
PropertyFailure<?> failure = checkFails(PropertyChecker.forAll(gen).withSeed(1), property).getFailure();
assertTrue(failure.getIterationNumber() > 1);
PropertyFalsified e;