|
About the CVL Support category
|
|
0
|
205
|
February 5, 2022
|
|
How to verify the CVL syntax locally (without job submission)
|
|
5
|
307
|
October 27, 2023
|
|
Contract preprocessing step fetched from cache
|
|
1
|
147
|
October 4, 2023
|
|
Why CVL version (pragma specify) is removed?!
|
|
0
|
196
|
August 24, 2023
|
|
How to avoid Certora havocking on payable.transfer function
|
|
4
|
341
|
June 19, 2023
|
|
Hook with included pre-state
|
|
4
|
191
|
May 2, 2023
|
|
Stack too deep while compiling using CVL
|
|
2
|
216
|
April 19, 2023
|
|
Prover does not find inherited function
|
|
2
|
206
|
April 13, 2023
|
|
Rules that involves external contract interactions keep time out
|
|
15
|
439
|
March 30, 2023
|
|
No info on instate violation
|
|
4
|
242
|
February 15, 2023
|
|
Invariant does not hold in multi-contract call
|
|
4
|
228
|
February 8, 2023
|
|
Did Certora not support interface cast?
|
|
3
|
229
|
November 2, 2022
|
|
How to verify a function that uses a struct as parameter (and an array within)?
|
|
2
|
360
|
October 20, 2022
|
|
UNRESOLVED Auto summary
|
|
1
|
209
|
October 20, 2022
|
|
How to check if a function was called anywhere in the execution process?
|
|
1
|
359
|
May 10, 2022
|
|
Couldn't find the installed Java version. Skipping local CVL specification checking
|
|
1
|
356
|
April 14, 2022
|
|
Unable to find contract in differently named file
|
|
0
|
378
|
April 14, 2022
|
|
Checking reentrancy vulnerabilities with Certora Prover
|
|
1
|
418
|
April 12, 2022
|
|
Wrong ghost value
|
|
2
|
249
|
March 27, 2022
|
|
Is it possible to specify arguments to an arbitrary function?
|
|
1
|
387
|
March 21, 2022
|
|
Is it possible to use inputs in a ghost function?
|
|
2
|
285
|
March 19, 2022
|
|
Error while testing custom spec for ERC20
|
|
3
|
300
|
March 8, 2022
|
|
Bug in Ghost documentation
|
|
1
|
278
|
March 5, 2022
|
|
Reference to address(this)
|
|
1
|
334
|
February 13, 2022
|
|
How Certora seeds the contract state when running a rule?
|
|
3
|
299
|
March 2, 2022
|
|
Vacuous rule in the documentation
|
|
2
|
252
|
March 2, 2022
|
|
User != flashLoanReceiver.to(e)
|
|
1
|
202
|
March 1, 2022
|
|
What does dispatcher(true) mean?
|
|
1
|
247
|
March 1, 2022
|
|
Is there a pre-defined max value constant in CVL?
|
|
1
|
410
|
February 13, 2022
|
|
Why would one want to use multiple env vars?
|
|
1
|
234
|
February 17, 2022
|