Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
QuickCheck inspired property-based testing for OCaml.
CHANGES:
0.9
add
qcheck-ounit
sublibraryuse environment variables to configure
qcheck-alcotest
testsalcotest backend for qcheck
make
qcheck.ounit
tests verbose by defaultmake
qcheck
is a compatibility library, depends onqcheck-core
split lib into
qcheck
andqcheck.ounit
add
TestResult.is_success
helpergive access to list of instances in test results
allow setting
time_between_msg
in runnerchore: remove submodule
chore: add travis support
doc: explanations about qcheck.ounit runners
doc: update readme
0.8
src/META
is out of date c-cube/qcheck#48)0.7
switch to BSD license, make it more explicit (close License filename c-cube/qcheck#43)
improve multi-line message printing in ounit (closes Improve message of failed properties c-cube/qcheck#46)
fix complexity of
add_stat
allow negative entries in statistics (see Support stats with negative integers c-cube/qcheck#40)
add a way for tests to report messages to the user (see system for reporting messages to the user c-cube/qcheck#39)
add
QCheck.Shrink.int_aggressive
and make default int shrinker fastershrinker for
map_keep_input
add
QCheck.set_gen
, missing for some reasonmore compact verbose output (see Progress feedback to user c-cube/qcheck#33)
better handling of dynamic progress line
Add colors to checkmarks in verbose mode
improve statistics display for runner
recover exception of shrunk input
print status line before the solving starts
0.6
add
find_example
andfind_example_gen
to synthesize values fromproperties (see function to find (counter)examples inside properties c-cube/qcheck#31)
add
QCheck.gen
for accessing the random generator easilycolorful runners, with
--no-colors
to disable themadd more generator (for corner cases)
better generation of random functions (see generation of functions c-cube/qcheck#8),
using
Observable
and an efficient internal representation usingheterogeneous tuples, printing, and shrinking. deprecate old hacks.
add statistics gathering and display (see Feature wish: statistics over classifiers c-cube/qcheck#30)
better printing of Tuple
improve
Shrink.{array,list}
(see Improve the list shrinker c-cube/qcheck#32)Change asserts to raise
Invalid_arg
(following the doc), and update docChange
Gen.{int_bount,int_range}
to support up to 2^620.5.3.1
collect
)@since
tags0.5.3
Gen.char
(close Char generator misses '\255' c-cube/qcheck#23)test
anddoc
to opamsmall_list
generator~long_factor
to tests and runner, for long testsTest.get_count
on test cells0.5.2
QCheck_runner
small_int
a deprecated alias tosmall_nat
small_signed_int
QCheck_runner
length
specification forto_ounit2_test
0.5.1
small_nat
, changesmall_int
semantics (close Generator for small negative and positive ints c-cube/qcheck#10)QCheck.assume_fail
QCheck.assume
; explain preconditions a bit (close Mention preconditions in doc c-cube/qcheck#9)0.5
qtest
: big changes in API, shrinking, use'a arbitrary
type that combines printer, generator, shrinker, etc. (see git log)
_oasis
,.merlin
, etc.0.4
bugfix in
fix_fuel
if verbose enabled, print each test case
add
QCheck.run_main
QCheck_ounit.~::
add
(>:::)
add
qcheck_ounit ml{lib,dylib}
trivial ounit integration
make
test_cell.name
optionalArbitrary.fix_fuel(_gen)
: add a recursive caseArbitrary.fix_fuel_gen
, similar tofix_fuel
but threading a state bottom-up to make choices depend on the pathArbitrary.fail_fix
to fail in a fixpointhelper cases for
Arbitrary.fix_fuel
0.3
generator
Arbitrary.fix_fuel
, to generate complex recursive structures0.2
Generator
intoQCheck
|||
Prop.raises
QCheck.Arbitrary
QCheck.mk_test
takes more arguments0.1