QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

machinery for running QuickCheck #505

Closed
zxq9 wants to merge 2 commits from quickcheck-ci into master
pull from: quickcheck-ci
merge into: QPQ-AG:master
Conversation 0 Commits 2 Files Changed 5 +181
zxq9 commented 2019-01-24 17:17:43 +09:00 (Migrated from gitlab.com)
Copy Link

Created by: ThomasArts

This patch makes it possible to run QuickCheck on a server.
It depends on having access to the eqc_ci application, which is licence depending and only runs on Quviq servers for the moment.

Via rebar3 as eqc shell --apps eqc_ci it will create a directory _build/eqc/test_results/run_..../ that shows the results of running all properties in the quickcheckdirectory.

*Created by: ThomasArts* This patch makes it possible to run QuickCheck on a server. It depends on having access to the eqc_ci application, which is licence depending and only runs on Quviq servers for the moment. Via `rebar3 as eqc shell --apps eqc_ci` it will create a directory `_build/eqc/test_results/run_..../` that shows the results of running all properties in the `quickcheck`directory.

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
WIP
bug
consensus-breaking
dependencies
documentation
duplicate
effort: high
effort: low
effort: medium
effort: trivial
enhancement
good first issue
help wanted
invalid
maintenance
question
task/feature
todo-in-rewrite
wontfix
bug
Something is not working
duplicate
This issue or pull request already exists
enhancement
New feature
help wanted
Need some help
invalid
Something is wrong
pig lipstick
Muggle-facing enhancements
question
More information is needed
wontfix
This won't be fixed
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#505
No description provided.
Delete Branch "quickcheck-ci"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?