Skip to content

Temporarily disable assertions in tests #1559

Temporarily disable assertions in tests

Temporarily disable assertions in tests #1559

Workflow file for this run

name: Build dockerfiles
on: [push, pull_request]
jobs:
cfa-cli-docker:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Build CFA Docker image
run: docker build -t theta-cfa-cli -f docker/theta-cfa-cli.Dockerfile .
- name: Run CFA docker on example
run: ./docker/run-theta-cfa-cli.sh subprojects/cfa/cfa/src/test/resources/counter5_true.cfa
sts-cli-docker:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Build STS Docker image
run: docker build -t theta-sts-cli -f docker/theta-sts-cli.Dockerfile .
- name: Run STS docker on example
run: ./docker/run-theta-sts-cli.sh subprojects/sts/sts/src/test/resources/simple1.system
xsts-cli-docker:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Build XSTS Docker image
run: docker build -t theta-xsts-cli -f docker/theta-xsts-cli.Dockerfile .
- name: Run XSTS docker on example
run: ./docker/run-theta-xsts-cli.sh subprojects/xsts/xsts-analysis/src/test/resources/model/sequential.xsts --property "!(x==1)"
xta-cli-docker:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Build XTA Docker image
run: docker build -t theta-xta-cli -f docker/theta-xta-cli.Dockerfile .
- name: Run XTA docker on example
run: ./docker/run-theta-xta-cli.sh subprojects/xta/xta/src/test/resources/csma-2.xta -c LU -s BFS