Hi, after lauching the certora prover, i got this error in global problems window :
Contract preprocessing step fetched from cache.
Do i need to do something to avoid this kind of message ?
Hi, it isn’t a problem. You get this message every time you run the same job (the same solidity and rule) twice. Then instead of computing the same, we just pop up previous results. It’s just an optimization of the tool. Nothing to worry about.
1 Like