diff options
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.mp | 1 | ||||
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.sp | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/dashboard/config/openbsd-syzkaller.mp b/dashboard/config/openbsd-syzkaller.mp index 41b035868..2c442a3e0 100644 --- a/dashboard/config/openbsd-syzkaller.mp +++ b/dashboard/config/openbsd-syzkaller.mp @@ -4,6 +4,7 @@ pseudo-device kcov 1 option LOCKF_DIAGNOSTIC option SPLASSERT_WATCH +option VFSLCKDEBUG option WITNESS option WITNESS_LOCKTRACE option WITNESS_WATCH diff --git a/dashboard/config/openbsd-syzkaller.sp b/dashboard/config/openbsd-syzkaller.sp index 3547029d2..6bbaed2b0 100644 --- a/dashboard/config/openbsd-syzkaller.sp +++ b/dashboard/config/openbsd-syzkaller.sp @@ -4,3 +4,4 @@ pseudo-device kcov 1 option LOCKF_DIAGNOSTIC option SPLASSERT_WATCH +option VFSLCKDEBUG |