esbmc/ESBMC verification action
Verifies C and C++ which are either specified or have a git diff, using the ESBMC.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stalelast commit Aug 21, 2024
- License
- None
Pinned Snippet
uses: esbmc/esbmc-action@3ed3a3ca9a951cbac9dde98cc8d7d4f46cda5559 # v3.0.0tags can be moved; commit SHAs can't. why a SHA?
Inputs
| name | description | required | default |
|---|---|---|---|
| esbmc-options | Options to be used with ESBMC. | no | --incremental-bmc --quiet --color --verbosity 4 |
| files | Newline-separated file paths to be used as input for the ESBMC. If none are given, this action will run based off the git diff. | no | "" |
| create-artifact | Whether or not to create an artifact containing ESBMC output files (y/n). | no | n |
| artifact-retention-days | Number of days after which any produced artifacts will expire. Minimum 1 day. Maximum 90 days unless changed from the repository settings page. | no | 0 |
| artifact-compression-level | The level of compression for Zlib to be applied to the artifact archive. Can take values from 0 to 9. | no | 6 |
| checkout | Whether or not to automatically checkout the repository (y/n). | no | y |
| fail-fast | Whether or not to exit the action and mark it as failed if there is an ESBMC verification failure (y/n). | no | n |
| display-overhead | Whether or not to display the CPU seconds and peak memory usage of each run of ESBMC (y/n). | no | n |
Outputs
| name | description |
|---|---|
| artifact-id | The GitHub ID of the created artifact. |
| artifact-url | The URL to download the artifact zip files. |