GitHub repository: Goblin57/LSVerifier-Action
Primary language: Dockerfile
Description: A GitHub action for verifying files with ESBMC