This category is for support in spec language (CVL) - questions about syntax, features and real-life problems.
Related Topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Welcome to the Certora Community Forum | 2 | 389 | January 30, 2022 | |
| Why CVL version (pragma specify) is removed?! | 0 | 257 | August 24, 2023 | |
| Reference to address(this) | 1 | 363 | February 13, 2022 | |
| How to verify the CVL syntax locally (without job submission) | 5 | 336 | October 27, 2023 | |
| Is there a pre-defined max value constant in CVL? | 1 | 452 | February 13, 2022 |