Java Configuration.defaultPRNG Examples

Example #1

File: CharactersComponentTest.java Project: NCR-CoDE/QuickTheories

 @Test
 public void shouldShrinkWhenRemainingShrinkCyclesIsOriginallyLessThanBMPDomain() {
   assertThatFor(
           Characters.ofCharacters(FIRST_CODEPOINT, LARGEST_DEFINED_BMP_CODEPOINT),
           new Strategy(Configuration.defaultPRNG(2), 1, 40, this.reporter))
       .check(i -> false);
   listIsInDecreasingOrder();
 }

Example #2

File: CharactersComponentTest.java Project: NCR-CoDE/QuickTheories

 @Test
 public void shouldShrinkToTargetWhenRemainingShrinkCyclesIsLessThanAsciiDomain() {
   assertThatFor(
           Characters.ofCharacters(FIRST_CODEPOINT, ASCII_LAST_CODEPOINT),
           new Strategy(Configuration.defaultPRNG(2), 1, 8, this.reporter))
       .check(i -> false);
   listIsInDecreasingOrder();
   smallestValueIsEqualTo('\u0000');
 }