From 2dcee3b338d368c6d4f10e0e29c95cbc3ea4e9df Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Mon, 18 Jun 2018 19:45:46 +0200 Subject: prog: use all resource special values for opt args --- prog/rand.go | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'prog/rand.go') 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 } -- cgit mrf-deployment