diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-06-18 19:45:46 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-06-18 19:45:46 +0200 |
| commit | 2dcee3b338d368c6d4f10e0e29c95cbc3ea4e9df (patch) | |
| tree | dc56127adbb73da0a1fb9cc6d9d1e4235097dc08 /prog | |
| parent | af9f337ea645491c9ec8db05d305887a51e419fe (diff) | |
prog: use all resource special values for opt args
Diffstat (limited to 'prog')
| -rw-r--r-- | prog/rand.go | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/prog/rand.go b/prog/rand.go index 5489ca10d..a47e64b79 100644 --- a/prog/rand.go +++ b/prog/rand.go @@ -491,6 +491,10 @@ func (r *randGen) generateArgImpl(s *state, typ Type, ignoreSpecial bool) (arg A } if typ.Optional() && r.oneOf(5) { + if res, ok := typ.(*ResourceType); ok { + v := res.Desc.Values[r.Intn(len(res.Desc.Values))] + return MakeResultArg(typ, nil, v), nil + } return r.target.defaultArg(typ), nil } |