Code

Property test improvement#953

Code

Merged

lsf37 merged 35 commits intojflex-de:masterjflex-de/jflex:masterfrom bitslab:property-test-improvementbitslab/jflex:property-test-improvementCopy head branch name to clipboardDec 4, 2022

+188-10

Commits

Commits on Mar 16, 2022

• Improve removeAdd coverage by adding a larger value to force a resize of the underlying StateSet structure. Also, the OffsetGen class minimizes runtime by sampling and minimizing the number of time…

  Show description for 69b95b9
  jcoultas

  committed
  69b95b9

  Copy full SHA for 69b95b9

Commits on Apr 13, 2022

• Ensure that a larger value is added to the state 20% of the time by the StateSet Generator

  jcoultas

  committed
  60b279a

  Copy full SHA for 60b279a

• Updated property tests to enter previously unreachable code.

  jcoultas

  committed
  935d797

  Copy full SHA for 935d797

• OffsetGen whitespace changes

  jcoultas

  committed
  2a8bb65

  Copy full SHA for 2a8bb65

• Update to avoid situation where set already contains e, by adding an out of range value to ensure contains is able to test the previously skipped lines.

  jcoultas

  committed
  82d9338

  Copy full SHA for 82d9338

Commits on Apr 19, 2022

• Add class to ensure a cased character is returned returned 50% of the time.

  jcoultas

  committed
  e861d94

  Copy full SHA for e861d94

• Sometimes add a random character to the IntCharSet

  jcoultas

  committed
  14a83f6

  Copy full SHA for 14a83f6

• Use IntCharGen and caseless to increase coverage.

  jcoultas

  committed
  201209f

  Copy full SHA for 201209f

• Merge branch 'master' into property-test-improvement

  jcoultas

  authored
  969f542

  Copy full SHA for 969f542

• Reset back to 34

  jcoultas

  committed
  f41fe42

  Copy full SHA for f41fe42

Commits on Apr 20, 2022

• Reformatting

  jcoultas

  committed
  188ed61

  Copy full SHA for 188ed61

• Move OffsetGen to State

  jcoultas

  committed
  0f7fe62

  Copy full SHA for 0f7fe62

Commits on Jun 25, 2022

• Update OffsetGen likelihood to 5% for 0, 1, and MAX INT

  jcoultas

  committed
  a06e630

  Copy full SHA for a06e630

• Add OffsetGen to BUILD.bazel

  jcoultas

  committed
  b05424a

  Copy full SHA for b05424a

• Add OffsetGen to BUILD.bazel

  jcoultas

  committed
  70484df

  Copy full SHA for 70484df

• Add IntCharGen to BUILD.bazel

  jcoultas

  committed
  2e3785c

  Copy full SHA for 2e3785c

• Add IntCharGen to BUILD.bazel

  jcoultas

  committed
  8cb217a

  Copy full SHA for 8cb217a

• Add IntCharGen to BUILD.bazel

  jcoultas

  committed
  9fcf7ea

  Copy full SHA for 9fcf7ea

• Add IntCharGen to BUILD.bazel

  jcoultas

  committed
  bb7a43e

  Copy full SHA for bb7a43e

Commits on Jun 29, 2022

• Update BUILD.bazel

  jcoultas

  committed
  2cb7c7f

  Copy full SHA for 2cb7c7f

• Get cased value from default unicode properties

  jcoultas

  committed
  63fe58c

  Copy full SHA for 63fe58c

• Emit a warning if unable to get a random cased value.

  jcoultas

  committed
  4d28e0b

  Copy full SHA for 4d28e0b

• Add assumeThat to ensure the set does not currently have the value.

  jcoultas

  committed
  d293311

  Copy full SHA for d293311

Commits on Jun 30, 2022

• Update to pick a random cased integer between the interval start and end

  jcoultas

  committed
  c8941d8

  Copy full SHA for c8941d8

Commits on Sep 16, 2022

• Merge branch 'master' into property-test-improvement

  jcoultas

  authored
  459dcdf

  Copy full SHA for 459dcdf

Commits on Sep 21, 2022

• Remove problem caseless attempts

  jcoultas

  committed
  81fc6b0

  Copy full SHA for 81fc6b0

• Merge branch 'property-test-improvement' of github.com:bitslab/jflex into property-test-improvement

  jcoultas

  committed
  c791e07

  Copy full SHA for c791e07

• Fix formatting errors

  jcoultas

  committed
  b6d9e57

  Copy full SHA for b6d9e57

Commits on Sep 29, 2022

• Add addStringCaseless to provide a caseless version of addString

  jcoultas

  committed
  4821597

  Copy full SHA for 4821597

Commits on Oct 11, 2022

• Update to add back to addString.

  jcoultas

  committed
  0b6a554

  Copy full SHA for 0b6a554

• Revert "Update to add back to addString."

  Show description for 384a1d1
  jcoultas

  committed
  384a1d1

  Copy full SHA for 384a1d1

• Revert "Add addStringCaseless to provide a caseless version of addString"

  Show description for e52abab
  jcoultas

  committed
  e52abab

  Copy full SHA for e52abab

Commits on Nov 6, 2022

• Use contains elements and move logic to StateSet to make test more black box.

  jcoultas

  committed
  6998294

  Copy full SHA for 6998294

• Use contains elements and move logic to StateSet to make test more black box.

  jcoultas

  committed
  00186f7

  Copy full SHA for 00186f7

Commits on Nov 7, 2022

• Use contains elements and move logic to StateSet to make test more black box.

  jcoultas

  committed
  a3db599

  Copy full SHA for a3db599