3 ms·
> You make it seem like the formal verification missed an issue. Sorry, that was not my intent. I added a clarification.
by lisper 2y ago
> You make it seem like the formal verification missed an issue.
Sorry, that was not my intent. I added a clarification.
- sobkas 2y ago> > You make it seem like the formal verification missed an issue. > Sorry, that was not my intent. I added a clarification. I'm sorry but it didn't. Without reading next comment I wouldn't know why it failed.