/dports/net-mgmt/thanos/thanos-0.11.0/vendor/github.com/leanovate/gopter/gen/ |
H A D | integers.go | 16 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 D | strings.go | 17 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 D | time.go | 10 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 D | floats.go | 11 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 D | integers_shrink.go | 36 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 D | one_of.go | 10 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 D | gen_for_kind.go | 55 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 D | forall.go | 20 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 D | convert_result.go | 11 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 D | forall_no_shrink.go | 18 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 D | actions.go | 13 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 D | commands_test.go | 38 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 D | example_circularqueue_test.go | 95 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 D | utils_test.go | 16 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 D | utils_test.go | 13 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 D | utils_test.go | 13 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 D | utils_test.go | 13 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 D | gen_test.go | 11 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 D | README.md | 4 …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 D | prop_result_test.go | 10 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 D | example_libraries_test.go | 16 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 D | shrink_test.go | 25 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 D | generators_test.go | 14 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 D | generators_test.go | 11 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 D | generators_test.go | 11 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(
|