QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 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
Copy Source

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
Dagadunn Pickmick dimitar.p.ivanov flambard (Markus Flambard) gchewy hans_sv pharpend spivee (Jarvis Carroll) thescientress (Cecille de Jesus) uwiger (Ulf Wiger) zxq9 (Craig Everett)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#505
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?