3 ms·
There's no formal verification that uses of unsafe in the standard library are correct and there are no bugs. (Of course goes for other libs too). So this justi
by fulafel 6y ago
There's no formal verification that uses of unsafe in the standard library are correct and there are no bugs. (Of course goes for other libs too). So this justification doesn't really feel robust.
- mlindner 6y agoThere's no formal verification that the Windows OS syscalls are correct and there are no bugs either.