3 ms·
> Regarding the second question, in the general case you have to guess or do trial and error. > You notice that the analyzer takes more time than you’re willin
by yonixw 4y ago
> Regarding the second question, in the general case you have to guess or do trial and error.
> You notice that the analyzer takes more time than you’re willing to wait,
I see, thanks, didn't know about this feedback loop as I'm not a rust programmer. Still on my todo list to learn.
- layer8 4y agoI don’t think it actually happens in Rust in practice, or only very rarely. I was more talking about the hypothetical case for any static analysis of nontrivial program properties as in Rice’s theorem.