From a4d38b39a8e23244bea7a53e9d7a759474f85dae Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Mon, 4 May 2020 08:58:32 +0200 Subject: prog: support disabled attribute Update #477 Update #502 --- prog/size_test.go | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'prog/size_test.go') diff --git a/prog/size_test.go b/prog/size_test.go index 49945273b..6e8a28c4d 100644 --- a/prog/size_test.go +++ b/prog/size_test.go @@ -10,8 +10,9 @@ import ( func TestAssignSizeRandom(t *testing.T) { target, rs, iters := initTest(t) + ct := target.DefaultChoiceTable() for i := 0; i < iters; i++ { - p := target.Generate(rs, 10, nil) + p := target.Generate(rs, 10, ct) data0 := p.Serialize() for _, call := range p.Calls { target.assignSizesCall(call) @@ -19,7 +20,7 @@ func TestAssignSizeRandom(t *testing.T) { if data1 := p.Serialize(); !bytes.Equal(data0, data1) { t.Fatalf("different lens assigned, initial:\n%s\nnew:\n%s\n", data0, data1) } - p.Mutate(rs, 10, nil, nil) + p.Mutate(rs, 10, ct, nil) p.Serialize() for _, call := range p.Calls { target.assignSizesCall(call) -- cgit mrf-deployment