3 ms·
At least if you have a spec and an implementation, you have two descriptions. We can then have some hope that any bug isn't present in both of them, and we can
by im3w1l 4y ago
At least if you have a spec and an implementation, you have two descriptions. We can then have some hope that any bug isn't present in both of them, and we can decide which of the two was more reasonable.
- rowanG077 4y agoWe do (or very soon will) have that for Rust as well with the gcc front end.