From b25fc7b83119e8dca728a199fd92e24dd4c33fa4 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Thu, 26 Jul 2018 19:38:24 +0200 Subject: pkg/csource: add option to trace syscall results This will be needed for testing of generated programs. --- pkg/csource/common.go | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'pkg/csource/common.go') diff --git a/pkg/csource/common.go b/pkg/csource/common.go index ebc085c7a..a03fba056 100644 --- a/pkg/csource/common.go +++ b/pkg/csource/common.go @@ -95,6 +95,9 @@ func defineList(p, mmapProg *prog.Prog, opts Options) ([]string, error) { if opts.Repeat { defines = append(defines, "SYZ_REPEAT") } + if opts.RepeatTimes > 1 { + defines = append(defines, "SYZ_REPEAT_TIMES") + } if opts.Procs > 1 { defines = append(defines, "SYZ_PROCS") } @@ -122,6 +125,9 @@ func defineList(p, mmapProg *prog.Prog, opts Options) ([]string, error) { if opts.Repro { defines = append(defines, "SYZ_REPRO") } + if opts.Trace { + defines = append(defines, "SYZ_TRACE") + } for _, c := range p.Calls { defines = append(defines, "__NR_"+c.Meta.CallName) } -- cgit mrf-deployment