Skip to content

KLEE CI

KLEE CI #909

Workflow file for this run

# workflow to run KLEE tests
name: KLEE CI
# Controls when the action will run
on:
pull_request:
branches: master
push:
branches: master
schedule:
- cron: 0 0 * * * # run every day at UTC 00:00
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Check Out Repo
uses: actions/checkout@v2
- name: Docker
run: docker build -t verify-c-common . --file docker/verify-c-common-klee.Dockerfile
- name: Get number of Cores
id: cores
run: echo "::set-output name=num_cores::$(nproc --all)"
- name: Run Tests
run: docker run -t verify-c-common /bin/bash -c "cd build && ctest -j ${{steps.cores.outputs.num_cores}} -R klee_ --output-on-failure --timeout 2000"