search

metasepi / postmortem

Postmortem for open-source operating systems
MIT License
1 stars 0 forks source link

Verify FreeBSD-SA-19:24.mqueuefs with VeriFast #11

Closed master-q closed 4 years ago

master-q commented 4 years ago

https://github.com/freebsd/freebsd/commit/f555099cb8f204e0e0b079cacc0a81a0012926cb

It's similar to FreeBSD-SA-19:15.mqueuefs.