Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

more IntCharSet quickcheck #680

Merged
merged 6 commits into from
Dec 12, 2019
Merged

more IntCharSet quickcheck #680

merged 6 commits into from
Dec 12, 2019

Conversation

lsf37
Copy link
Member

@lsf37 lsf37 commented Dec 12, 2019

(continuing on #662)

  • a few more IntCharSet quickcheck tests
  • factor out the Interval generator so Intervals can be arguments to the test

@lsf37 lsf37 added the testing Adding tests or test infrastructure. label Dec 12, 2019
@lsf37 lsf37 self-assigned this Dec 12, 2019
@lsf37 lsf37 changed the title IntCharSet quickcheck more IntCharSet quickcheck Dec 12, 2019
@lsf37 lsf37 requested a review from regisd as a code owner December 12, 2019 02:02
@lsf37 lsf37 merged commit 9ee1661 into master Dec 12, 2019
@lsf37 lsf37 deleted the qc-int branch December 12, 2019 02:58
regisd pushed a commit that referenced this pull request Dec 12, 2019
@traviscibot
Pseudo-Merge 9ee1661 more IntCharSet quickcheck (#680)
655619f 
commit 9ee1661
Author:     Gerwin Klein <[email protected]>
AuthorDate: Thu Dec 12 13:28:04 2019 +1030
Commit:     GitHub <[email protected]>
CommitDate: Thu Dec 12 13:28:04 2019 +1030

    more IntCharSet quickcheck (#680)

    * factor out Interval generation from IntCharSetGen
    * additional IntCharSet property tests

Updated from target/jflex-parent-1.8.0-SNAPSHOT-sources.jar
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@regisd regisd Awaiting requested review from regisd regisd is a code owner

Assignees

@lsf37 lsf37

Labels
testing Adding tests or test infrastructure.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@lsf37