Skip to content
check-circle

GitHub Action

LSVerifier Action

v1.0.0 Latest version

LSVerifier Action

check-circle

LSVerifier Action

Uses LSVerifier to verify ANSI-C projects

Installation

Copy and paste the following snippet into your .yml file.

 
              
- name: LSVerifier Action

              
  uses: esbmc/ls-verifier-action@v1.0.0
Learn more about this action in esbmc/ls-verifier-action

Choose a version

LSVerifier-Action

This action uses LSVerifier to formally verify ANSI-C projects. This action will run LSVerifier in all available repositories on the runner.

Inputs

lsverifier_options (optional): give the options to be used with LSVerifier.

Usage

- name: LSVerifier
  uses: Goblin57/LSVerifier-Action@v1

Because this action uses a Docker container, your workflow must be executed on a runner with a Linux operating system.

Usage Example

name: test workflow

on: push

jobs:
  test-job:
    runs-on: ubuntu-latest
    steps:
      - name: checkout
        uses: actions/checkout@v4
      
      - name: run action
        uses: Goblin57/LSVerifier-Action@v1
        with:
          lsverifier_options: "-r -f"