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.

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

Return QuickCheck execution result #1

merged 11 commits into from Oct 27, 2015


None yet
3 participants

NicolasT commented Feb 28, 2012

This pull request contains a patch which changes the 'check' functions to return test execution results instead of simply writing these to the screen. This allows for integration of QuickCheck tests in (automated) test execution environments, e.g. OUnit, as done in [1].

The existing API is altered for this purpose.

[1] Incubaid/baardskeerder@3618e36#diff-2

NicolasT and others added some commits Feb 13, 2012

Ignore test.native
Change-Id: I67298d72d6e9bb617ee5ad54f1d4e012cec37888
Return success, failure or exhaustion result
Previously, no result was returned by quickCheck, verboseCheck and
others: it's printed to stdout. This is rather hard to use in an
automated testing setup. This commit alters the *Check functions to
return a type denoting success, failure or exhaustion instead.

Change-Id: I92f27ca7528cd9cf18260858bb518006e39f402e
regenerate autobuild OASIS files with oasis-0.3.0
Fixes compilation under ocaml-4.0.0+
Merge remote-tracking branch 'avsm/master'
* avsm/master:
  regenerate autobuild OASIS files with oasis-0.3.0
  ignore *.native *.byte
  Add dependency on the just-built QuickCheck for the test
Use 'camlp4o' for 'src/quickCheck.*'
This is required for 'optcomp' to work.
Only expose `(|>)` when using OCaml pre-4.01
OCaml 4.01 introduces the `(|>)` operator in `Pervasives`. As a result,
when `open`ing the `QuickCheck_util` module, a warning is given because
a name is aliased.

This in turn causes a compiler error since warnings-as-errors is

This commit uses `optcomp` so `(|>)` is not part of the module when
compiled using OCaml >= 4.01.

tmcgilchrist pushed a commit to tmcgilchrist/ocaml-quickcheck that referenced this pull request Aug 21, 2014

Merge pull request camlunity#1 from Incubaid/master
Fix compilation using OCaml 4.01.0

little-arhat added a commit that referenced this pull request Oct 27, 2015

Merge pull request #1 from Incubaid/master
Return QuickCheck execution result

@little-arhat little-arhat merged commit 7403581 into camlunity:master Oct 27, 2015

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment