{{/*
Copyright 2019 syzkaller project authors. All rights reserved.
Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
Terminal bugs page (fixed, invalid).
*/}}
{{template "head" .Header}}
syzbot
{{template "header" .Header}}
{{if .Stats}}
{{with .Stats}}
Out of {{.Total}} bugs, {{.AutoObsoleted}} were automatically obsoleted ({{.ReproObsoleted}} due to revoked reproducers), {{.UserObsoleted}} were invalidated by users.
{{end}}
{{end}}
{{template "bug_filter" $.BugFilter}}
{{template "bug_list" .Bugs}}