diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/syz-prog2c/prog2c.go | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/syz-prog2c/prog2c.go b/tools/syz-prog2c/prog2c.go index 399b5e417..4c04487ff 100644 --- a/tools/syz-prog2c/prog2c.go +++ b/tools/syz-prog2c/prog2c.go @@ -31,6 +31,7 @@ var ( flagHandleSegv = flag.Bool("segv", false, "catch and ignore SIGSEGV") flagUseTmpDir = flag.Bool("tmpdir", false, "create a temporary dir and execute inside it") flagTrace = flag.Bool("trace", false, "trace syscall results") + flagRepro = flag.Bool("repro", false, "add heartbeats used by pkg/repro") flagStrict = flag.Bool("strict", false, "parse input program in strict mode") flagLeak = flag.Bool("leak", false, "do leak checking") flagEnable = flag.String("enable", "none", "enable only listed additional features") @@ -93,7 +94,7 @@ func main() { VhciInjection: features["vhci"].Enabled, UseTmpDir: *flagUseTmpDir, HandleSegv: *flagHandleSegv, - Repro: false, + Repro: *flagRepro, Trace: *flagTrace, } src, err := csource.Write(p, opts) |