diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-09-12 11:02:42 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-09-12 13:03:27 +0200 |
| commit | cc8045ff1f9b4b54834e6e95bedbeeb18c9a7a00 (patch) | |
| tree | 230418f3a75bddec3e027fcb4c49cb728cc02489 | |
| parent | 21d289c28fbcb63b83b5ffc23c2e7944dad31b96 (diff) | |
tools/syz-prog2c: add -repro flag
For manual testing of what pkg/repro uses.
| -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) |