Home
last modified time | relevance | path

Searched refs:gopter (Results 1 – 25 of 187) sorted by relevance

12345678

/dports/net-mgmt/thanos/thanos-0.11.0/vendor/github.com/leanovate/gopter/gen/
H A Dintegers.go16 return func(genParams *gopter.GenParameters) *gopter.GenResult {
22 return func(genParams *gopter.GenParameters) *gopter.GenResult {
39 return func(genParams *gopter.GenParameters) *gopter.GenResult {
43 return func(genParams *gopter.GenParameters) *gopter.GenResult {
53 func Int64() gopter.Gen {
58 func UInt64() gopter.Gen {
83 func Int32() gopter.Gen {
143 func Int8() gopter.Gen {
163 func Int() gopter.Gen {
180 func UInt() gopter.Gen {
[all …]
H A Dstrings.go17 func Rune() gopter.Gen {
25 func RuneNoControl() gopter.Gen {
32 func genRune(int64Gen gopter.Gen) gopter.Gen {
41 func NumChar() gopter.Gen {
56 func AlphaChar() gopter.Gen {
76 return func(genParams *gopter.GenParameters) *gopter.GenResult {
89 genResult := gopter.NewGenResult(selectedRune, gopter.NoShrinker)
98 func AnyString() gopter.Gen {
108 func NumString() gopter.Gen {
116 return gopter.CombineGens(
[all …]
H A Dtime.go10 func Time() gopter.Gen {
11 return func(genParams *gopter.GenParameters) *gopter.GenResult {
15 return gopter.NewGenResult(time.Unix(sec, usec), TimeShrinker)
20 func AnyTime() gopter.Gen {
21 return func(genParams *gopter.GenParameters) *gopter.GenResult {
25 return gopter.NewGenResult(time.Unix(sec, usec), TimeShrinker)
32 func TimeRange(from time.Time, duration time.Duration) gopter.Gen {
33 return func(genParams *gopter.GenParameters) *gopter.GenResult {
35 return gopter.NewGenResult(v, TimeShrinker)
H A Dfloats.go11 func Float64Range(min, max float64) gopter.Gen {
17 return func(genParams *gopter.GenParameters) *gopter.GenResult {
18 genResult := gopter.NewGenResult(min+genParams.Rng.Float64()*d, Float64Shrinker)
27 func Float64() gopter.Gen {
28 return gopter.CombineGens(
42 func Float32Range(min, max float32) gopter.Gen {
47 return func(genParams *gopter.GenParameters) *gopter.GenResult {
48 genResult := gopter.NewGenResult(min+genParams.Rng.Float32()*d, Float32Shrinker)
57 func Float32() gopter.Gen {
58 return gopter.CombineGens(
H A Dintegers_shrink.go36 func Int64Shrinker(v interface{}) gopter.Shrink {
45 return gopter.Shrink(negShrink.Next).Interleave(gopter.Shrink(posShrink.Next))
49 func UInt64Shrinker(v interface{}) gopter.Shrink {
58 func Int32Shrinker(v interface{}) gopter.Shrink {
63 func UInt32Shrinker(v interface{}) gopter.Shrink {
68 func Int16Shrinker(v interface{}) gopter.Shrink {
73 func UInt16Shrinker(v interface{}) gopter.Shrink {
78 func Int8Shrinker(v interface{}) gopter.Shrink {
83 func UInt8Shrinker(v interface{}) gopter.Shrink {
88 func IntShrinker(v interface{}) gopter.Shrink {
[all …]
H A Done_of.go10 func OneConstOf(consts ...interface{}) gopter.Gen {
14 return func(genParams *gopter.GenParameters) *gopter.GenResult {
16 return gopter.NewGenResult(consts[idx], gopter.NoShrinker)
21 func OneGenOf(gens ...gopter.Gen) gopter.Gen {
25 return func(genParams *gopter.GenParameters) *gopter.GenResult {
/dports/net-mgmt/thanos/thanos-0.11.0/vendor/github.com/leanovate/gopter/arbitrary/
H A Dgen_for_kind.go55 return gen.Bool().MapResult(func(result *gopter.GenResult) *gopter.GenResult {
56 return &gopter.GenResult{
67 return gen.Int().MapResult(func(result *gopter.GenResult) *gopter.GenResult {
68 return &gopter.GenResult{
83 return gen.UInt().MapResult(func(result *gopter.GenResult) *gopter.GenResult {
99 return gen.Int8().MapResult(func(result *gopter.GenResult) *gopter.GenResult {
115 return gen.UInt8().MapResult(func(result *gopter.GenResult) *gopter.GenResult {
131 return gen.Int16().MapResult(func(result *gopter.GenResult) *gopter.GenResult {
147 return gen.UInt16().MapResult(func(result *gopter.GenResult) *gopter.GenResult {
163 return gen.Int32().MapResult(func(result *gopter.GenResult) *gopter.GenResult {
[all …]
/dports/net-mgmt/thanos/thanos-0.11.0/vendor/github.com/leanovate/gopter/prop/
H A Dforall.go20 func ForAll(condition interface{}, gens ...gopter.Gen) gopter.Prop {
26 return gopter.SaveProp(func(genParams *gopter.GenParameters) *gopter.PropResult {
35 return &gopter.PropResult{
36 Status: gopter.PropUndecided,
48 func(v interface{}) *gopter.PropResult {
71 func ForAll1(gen gopter.Gen, check func(v interface{}) (interface{}, error)) gopter.Prop {
75 return gopter.SaveProp(func(genParams *gopter.GenParameters) *gopter.PropResult {
79 return &gopter.PropResult{
80 Status: gopter.PropUndecided,
94 …firstFail *gopter.PropResult, check func(interface{}) *gopter.PropResult) (*gopter.PropResult, int…
[all …]
H A Dconvert_result.go11 return &gopter.PropResult{
12 Status: gopter.PropError,
19 return &gopter.PropResult{Status: gopter.PropTrue}
21 return &gopter.PropResult{Status: gopter.PropFalse}
24 return &gopter.PropResult{Status: gopter.PropTrue}
26 return &gopter.PropResult{
27 Status: gopter.PropFalse,
30 case *gopter.PropResult:
31 return result.(*gopter.PropResult)
33 return &gopter.PropResult{
[all …]
H A Dforall_no_shrink.go18 func ForAllNoShrink(condition interface{}, gens ...gopter.Gen) gopter.Prop {
24 return gopter.SaveProp(func(genParams *gopter.GenParameters) *gopter.PropResult {
25 genResults := make([]*gopter.GenResult, len(gens))
33 return &gopter.PropResult{
34 Status: gopter.PropUndecided,
40 …result = result.AddArgs(gopter.NewPropArg(genResult, 0, values[i].Interface(), values[i].Interface…
48 func ForAllNoShrink1(gen gopter.Gen, check func(interface{}) (interface{}, error)) gopter.Prop {
49 return gopter.SaveProp(func(genParams *gopter.GenParameters) *gopter.PropResult {
53 return &gopter.PropResult{
54 Status: gopter.PropUndecided,
[all …]
/dports/net-mgmt/thanos/thanos-0.11.0/vendor/github.com/leanovate/gopter/commands/
H A Dactions.go13 shrinker gopter.Shrinker
43 propResult := &gopter.PropResult{Status: gopter.PropTrue}
46 return &gopter.PropResult{Status: gopter.PropFalse}, nil
62 elementShrinker := gopter.Shrinker(func(v interface{}) gopter.Shrink {
75 genInitialStateProvider := gopter.Gen(func(params *gopter.GenParameters) *gopter.GenResult {
77 return gopter.NewGenResult(func() State {
83 }, gopter.NoShrinker)
109 return func(genParams *gopter.GenParameters) *gopter.GenResult {
119 }, 100).MapResult(func(result *gopter.GenResult) *gopter.GenResult {
125 return gopter.NewGenResult(
[all …]
H A Dcommands_test.go38 PostConditionFunc: func(state commands.State, result commands.Result) *gopter.PropResult {
40 return &gopter.PropResult{Status: gopter.PropFalse}
42 return &gopter.PropResult{Status: gopter.PropTrue}
54 PostConditionFunc: func(state commands.State, result commands.Result) *gopter.PropResult {
56 return &gopter.PropResult{Status: gopter.PropFalse}
58 return &gopter.PropResult{Status: gopter.PropTrue}
75 return &gopter.PropResult{Status: gopter.PropFalse}
77 return &gopter.PropResult{Status: gopter.PropTrue}
91 func (c *counterCommands) GenInitialState() gopter.Gen {
99 func (c *counterCommands) GenCommand(state commands.State) gopter.Gen {
[all …]
H A Dexample_circularqueue_test.go95 PostConditionFunc: func(state commands.State, result commands.Result) *gopter.PropResult {
97 return &gopter.PropResult{Status: gopter.PropFalse}
99 return &gopter.PropResult{Status: gopter.PropTrue}
128 return &gopter.PropResult{Status: gopter.PropFalse}
130 return &gopter.PropResult{Status: gopter.PropTrue}
142 }).WithShrinker(func(v interface{}) gopter.Shrink {
159 return &gopter.PropResult{Status: gopter.PropFalse}
161 return &gopter.PropResult{Status: gopter.PropTrue}
190 GenCommandFunc: func(state commands.State) gopter.Gen {
231 properties := gopter.NewProperties(parameters)
[all …]
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/consensys/gnark-crypto/ecc/bls12-381/
H A Dutils_test.go16 func GenFp() gopter.Gen {
17 return func(genParams *gopter.GenParameters) *gopter.GenResult {
22 genResult := gopter.NewGenResult(elmt, gopter.NoShrinker)
28 func GenE2() gopter.Gen {
29 return gopter.CombineGens(
38 func GenE6() gopter.Gen {
39 return gopter.CombineGens(
49 func GenE12() gopter.Gen {
62 func GenFr() gopter.Gen {
63 return func(genParams *gopter.GenParameters) *gopter.GenResult {
[all …]
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/consensys/gnark-crypto/ecc/bn254/
H A Dutils_test.go13 func GenFp() gopter.Gen {
14 return func(genParams *gopter.GenParameters) *gopter.GenResult {
19 genResult := gopter.NewGenResult(elmt, gopter.NoShrinker)
25 func GenE2() gopter.Gen {
26 return gopter.CombineGens(
35 func GenE6() gopter.Gen {
36 return gopter.CombineGens(
46 func GenE12() gopter.Gen {
59 func GenFr() gopter.Gen {
60 return func(genParams *gopter.GenParameters) *gopter.GenResult {
[all …]
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/consensys/gnark-crypto/ecc/bls12-377/
H A Dutils_test.go13 func GenFp() gopter.Gen {
14 return func(genParams *gopter.GenParameters) *gopter.GenResult {
19 genResult := gopter.NewGenResult(elmt, gopter.NoShrinker)
25 func GenE2() gopter.Gen {
26 return gopter.CombineGens(
35 func GenE6() gopter.Gen {
36 return gopter.CombineGens(
46 func GenE12() gopter.Gen {
59 func GenFr() gopter.Gen {
60 return func(genParams *gopter.GenParameters) *gopter.GenResult {
[all …]
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/consensys/gnark-crypto/ecc/bw6-761/
H A Dutils_test.go13 func GenFp() gopter.Gen {
14 return func(genParams *gopter.GenParameters) *gopter.GenResult {
20 genResult := gopter.NewGenResult(elmt, gopter.NoShrinker)
26 func GenE2() gopter.Gen {
27 return gopter.CombineGens(
36 func GenE6() gopter.Gen {
37 return gopter.CombineGens(
50 func GenFr() gopter.Gen {
51 return func(genParams *gopter.GenParameters) *gopter.GenResult {
57 genResult := gopter.NewGenResult(elmt, gopter.NoShrinker)
/dports/net-mgmt/thanos/thanos-0.11.0/vendor/github.com/leanovate/gopter/
H A Dgen_test.go11 return func(*gopter.GenParameters) *gopter.GenResult {
12 return gopter.NewGenResult(value, gopter.NoShrinker)
139 var mappedWith *gopter.GenResult
159 var mappedWith *gopter.GenResult
161 mapper := func(result *gopter.GenResult, params *gopter.GenParameters) string {
187 return gopter.NewGenResult("other", gopter.NoShrinker)
209 mapper := func(result *gopter.GenResult) *gopter.GenResult {
211 return gopter.NewGenResult("other", gopter.NoShrinker)
253 mapper := func(result *gopter.GenResult) *gopter.GenResult {
255 return gopter.NewGenResult("other", gopter.NoShrinker)
[all …]
H A DREADME.md4 …ild Status](https://travis-ci.org/leanovate/gopter.svg?branch=master)](https://travis-ci.org/leano…
5 …ecov](https://codecov.io/gh/leanovate/gopter/branch/master/graph/badge.svg)](https://codecov.io/gh…
6 …Doc](https://godoc.org/github.com/leanovate/gopter?status.png)](https://godoc.org/github.com/leano…
20 …acheck_2.11-1.14.0-api/index.html#org.scalacheck.util.Pretty) ... so far gopter feels quite comfor…
35 * [gopter](https://godoc.org/github.com/leanovate/gopter): Main interfaces
36 * [gopter/gen](https://godoc.org/github.com/leanovate/gopter/gen): All commonly used generators
37 * [gopter/prop](https://godoc.org/github.com/leanovate/gopter/prop): Common helpers to create prope…
38 * [gopter/arbitrary](https://godoc.org/github.com/leanovate/gopter/arbitrary): Helpers automaticall…
39 * [gopter/commands](https://godoc.org/github.com/leanovate/gopter/commands): Helpers to create stat…
40 * [gopter/convey](https://godoc.org/github.com/leanovate/gopter/convey): Helpers used by gopter ins…
H A Dprop_result_test.go10 result := &gopter.PropResult{Status: gopter.PropProof}
14 other := &gopter.PropResult{Status: gopter.PropTrue}
22 result = &gopter.PropResult{Status: gopter.PropTrue}
33 result = &gopter.PropResult{Status: gopter.PropFalse}
44 result = &gopter.PropResult{Status: gopter.PropUndecided}
55 result = &gopter.PropResult{Status: gopter.PropError}
68 trueResult := gopter.NewPropResult(true, "label")
69 if trueResult.Status != gopter.PropTrue || trueResult.Labels[0] != "label" {
72 falseResult := gopter.NewPropResult(false, "label")
73 if falseResult.Status != gopter.PropFalse || falseResult.Labels[0] != "label" {
H A Dexample_libraries_test.go16 func genTestBook() gopter.Gen {
17 return gen.Struct(reflect.TypeOf(&TestBook{}), map[string]gopter.Gen{
29 func genTestLibrary() gopter.Gen {
30 return gen.Struct(reflect.TypeOf(&TestLibrary{}), map[string]gopter.Gen{
42 func genTestCities() gopter.Gen {
48 parameters := gopter.DefaultTestParameters()
54 properties := gopter.NewProperties(parameters)
70 properties.Run(gopter.ConsoleReporter(false))
76 parameters := gopter.DefaultTestParameters()
83 properties := gopter.NewProperties(parameters)
[all …]
H A Dshrink_test.go25 shrink := gopter.Shrink(counter.Next)
35 shrink := gopter.Shrink(counter.Next)
45 shrink = gopter.Shrink(counter.Next)
56 shrink1 := gopter.Shrink(counterShrink1.Next)
57 shrink2 := gopter.Shrink(counterShrink2.Next)
59 all := gopter.ConcatShrinks(shrink1, shrink2).All()
69 shrink1 := gopter.Shrink(counterShrink1.Next)
70 shrink2 := gopter.Shrink(counterShrink2.Next)
80 shrinker1 := func(v interface{}) gopter.Shrink {
85 shrinker2 := func(v interface{}) gopter.Shrink {
[all …]
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/consensys/gnark-crypto/ecc/bls12-381/internal/fptower/
H A Dgenerators_test.go14 func GenFp() gopter.Gen {
15 return func(genParams *gopter.GenParameters) *gopter.GenResult {
20 genResult := gopter.NewGenResult(elmt, gopter.NoShrinker)
26 func GenE2() gopter.Gen {
27 return gopter.CombineGens(
36 func GenE6() gopter.Gen {
37 return gopter.CombineGens(
47 func GenE12() gopter.Gen {
48 return gopter.CombineGens(
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/consensys/gnark-crypto/ecc/bls12-377/internal/fptower/
H A Dgenerators_test.go11 func GenFp() gopter.Gen {
12 return func(genParams *gopter.GenParameters) *gopter.GenResult {
17 genResult := gopter.NewGenResult(elmt, gopter.NoShrinker)
23 func GenE2() gopter.Gen {
24 return gopter.CombineGens(
33 func GenE6() gopter.Gen {
34 return gopter.CombineGens(
44 func GenE12() gopter.Gen {
45 return gopter.CombineGens(
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/consensys/gnark-crypto/ecc/bn254/internal/fptower/
H A Dgenerators_test.go11 func GenFp() gopter.Gen {
12 return func(genParams *gopter.GenParameters) *gopter.GenResult {
17 genResult := gopter.NewGenResult(elmt, gopter.NoShrinker)
23 func GenE2() gopter.Gen {
24 return gopter.CombineGens(
33 func GenE6() gopter.Gen {
34 return gopter.CombineGens(
44 func GenE12() gopter.Gen {
45 return gopter.CombineGens(

12345678