Skip to content

Include test

Include test #7

Workflow file for this run

name: VCL-ESBMC-Test
on: push
jobs:
esbmc-test:
runs-on: ubuntu-latest
steps:
- name: run-esbmc-action
uses: esbmc/esbmc-action@v1
with:
esbmc-options: --incremental-bmc --include **/*.h