diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-10-18 12:00:16 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-10-18 12:01:24 +0200 |
| commit | f89294761cb8f89e11aecb58ee27629fcfeafbc3 (patch) | |
| tree | f27f681077bdb126aea433d866bce03b72f86cd5 /sys | |
| parent | 6368c469a5868b3e1d40ba95a44561f895698bcc (diff) | |
executor: use forkserver for freebsd
Use forkserver and shmem for freebsd.
This greatly improves speed.
Also introduce fallback coverage signal based
on unique (syscall+errno) pairs.
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/targets/targets.go | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/targets/targets.go b/sys/targets/targets.go index 4ec176b46..6b5523f7d 100644 --- a/sys/targets/targets.go +++ b/sys/targets/targets.go @@ -124,8 +124,8 @@ var oses = map[string]os{ "freebsd": { SyscallNumbers: true, SyscallPrefix: "SYS_", - ExecutorUsesShmem: false, - ExecutorUsesForkServer: false, + ExecutorUsesShmem: true, + ExecutorUsesForkServer: true, }, "fuchsia": { SyscallNumbers: false, |