search

metasepi / postmortem

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

Verify FreeBSD-SA-20:20.ipv6 with VeriFast #9

Closed master-q closed 4 years ago

master-q commented 4 years ago

Give up. I asked mailing list:

https://groups.google.com/g/verifast/c/DD5U5RJ-6BQ

master-q commented 4 years ago

It was easy mistake:

https://github.com/metasepi/postmortem/commit/a2f83eb0beca9d8646aeb3d1e00c36c1a12a590a