GitHub repository: Goblin57/esbmc-action
Created: 2024-07-08T14:29:21Z
Description: An action for verifying files using the ESBMC.