Folders and files

Name		Name	Last commit message	Last commit date
Latest commit History 300 Commits
.github/workflows		.github/workflows
arbitrary		arbitrary
commands		commands
convey		convey
gen		gen
prop		prop
.gitignore		.gitignore
.travis.yml		.travis.yml
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
bi_mapper.go		bi_mapper.go
bi_mapper_test.go		bi_mapper_test.go
derived_gen.go		derived_gen.go
derived_gen_test.go		derived_gen_test.go
doc.go		doc.go
example_biggest_test.go		example_biggest_test.go
example_fizzbuzz_test.go		example_fizzbuzz_test.go
example_flatmap_test.go		example_flatmap_test.go
example_labels_test.go		example_labels_test.go
example_libraries_test.go		example_libraries_test.go
example_panic_test.go		example_panic_test.go
example_sqrt_test.go		example_sqrt_test.go
flag.go		flag.go
flag_test.go		flag_test.go
formated_reporter.go		formated_reporter.go
formated_reporter_test.go		formated_reporter_test.go
gen.go		gen.go
gen_parameter_test.go		gen_parameter_test.go
gen_parameters.go		gen_parameters.go
gen_result.go		gen_result.go
gen_result_test.go		gen_result_test.go
gen_test.go		gen_test.go
go.mod		go.mod
go.sum		go.sum
locked_source.go		locked_source.go
prop.go		prop.go
prop_arg.go		prop_arg.go
prop_arg_test.go		prop_arg_test.go
prop_result.go		prop_result.go
prop_result_test.go		prop_result_test.go
prop_test.go		prop_test.go
properties.go		properties.go
properties_test.go		properties_test.go
reporter.go		reporter.go
runner.go		runner.go
runner_test.go		runner_test.go
shrink.go		shrink.go
shrink_test.go		shrink_test.go
test_parameters.go		test_parameters.go
test_result.go		test_result.go
test_result_test.go		test_result_test.go

Repository files navigation

GOPTER

... the GOlang Property TestER

Change Log

Synopsis

Gopter tries to bring the goodness ofScalaCheck (and implicitly, the goodness ofQuickCheck) to Go.It can also be seen as a more sophisticated version of the testing/quick package.

Main differences to ScalaCheck:

It is Go ... duh
... nevertheless: Do not expect the same typesafety and elegance as in ScalaCheck.
For simplicityShrink has become part of the generators. They can still be easily changed if necessary.
There is noPretty ... so far gopter feels quite comfortable being ugly.
A generator for regex matches
No parallel commands ... yet?

Main differences to the testing/quick package:

Much tighter control over generators
Shrinkers, i.e. automatically find the minimum value falsifying a property
A generator for regex matches (already mentioned that ... but it's cool)
Support for stateful tests

Documentation

Current godocs:

gopter: Main interfaces
gopter/gen: All commonly used generators
gopter/prop: Common helpers to create properties from a condition function and specific generators
gopter/arbitrary: Helpers automatically combine generators for arbitrary types
gopter/commands: Helpers to create stateful tests based on arbitrary commands
gopter/convey: Helpers used by gopter inside goconvey tests