diff options
author | Ting-Yu Wang <anivia@google.com> | 2020-10-23 19:22:07 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-10-23 19:24:09 -0700 |
commit | 8dfbec28a47483e0c03a5c94331081d7219f215b (patch) | |
tree | ed4412a06fadbd0a8a541f772f92439508ba0e02 /tools/nogo | |
parent | 3ed8ace87123a5cee4fd3aa3751bb24c151749ff (diff) |
Fix nogo tests in //pkg/sentry/socket/...
PiperOrigin-RevId: 338784921
Diffstat (limited to 'tools/nogo')
-rw-r--r-- | tools/nogo/config.go | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tools/nogo/config.go b/tools/nogo/config.go index 91b36576f..b591b1509 100644 --- a/tools/nogo/config.go +++ b/tools/nogo/config.go @@ -410,23 +410,6 @@ func init() { "pkg/sentry/mm/special_mappable.go:80", "pkg/sentry/platform/systrap/subprocess.go:370", "pkg/sentry/platform/systrap/usertrap/usertrap_amd64.go:124", - "pkg/sentry/socket/control/control.go:260", - "pkg/sentry/socket/control/control.go:94", - "pkg/sentry/socket/control/control_vfs2.go:37", - "pkg/sentry/socket/hostinet/stack.go:433", - "pkg/sentry/socket/hostinet/stack.go:438", - "pkg/sentry/socket/hostinet/stack.go:444", - "pkg/sentry/socket/hostinet/stack.go:460", - "pkg/sentry/socket/netfilter/tcp_matcher.go:74", - "pkg/sentry/socket/netfilter/udp_matcher.go:71", - "pkg/sentry/socket/netlink/route/protocol.go:38", - "pkg/sentry/socket/socket.go:332", - "pkg/sentry/socket/unix/transport/connectioned.go:394", - "pkg/sentry/socket/unix/transport/connectionless.go:152", - "pkg/sentry/socket/unix/transport/unix.go:436", - "pkg/sentry/socket/unix/transport/unix.go:490", - "pkg/sentry/socket/unix/transport/unix.go:685", - "pkg/sentry/socket/unix/transport/unix.go:795", "pkg/sentry/syscalls/linux/sys_sem.go:62", "pkg/sentry/syscalls/linux/sys_time.go:189", "pkg/sentry/usage/cpu.go:42", |