Skip to content

WIP: modifies Dockerfile to create a multi-architecture image #15

WIP: modifies Dockerfile to create a multi-architecture image

WIP: modifies Dockerfile to create a multi-architecture image #15

Workflow file for this run

name: Verification of the NSL case study in C
on:
push:
jobs:
build-verify:
runs-on: ubuntu-latest
timeout-minutes: 15
env:
VERIFAST_VERSION: 21.04
steps:
- name: Install prerequisites
run: sudo apt-get update && sudo apt-get install -y git curl tar libgomp1
- name: Checkout repo
uses: actions/checkout@v3
- name: Download and Setup VeriFast
run: |
curl -q -s -S -L --create-dirs -o VeriFast.zip https://github.com/verifast/verifast/releases/download/${{ env.VERIFAST_VERSION }}/verifast-${{ env.VERIFAST_VERSION }}-linux.tar.gz
tar xzf VeriFast.zip
# this creates a folder called 'verifast-${{ env.VERIFAST_VERSION }}'
VERIFAST_BIN="$PWD/verifast-${{ env.VERIFAST_VERSION }}/bin"
echo "$VERIFAST_BIN" >> $GITHUB_PATH
- name: Compile and execute NSL initiator & responder
run: ./execute.sh
working-directory: VeriFastPrototype/nsl
- name: Verify NSL initiator & responder using VeriFast
run: ./verify.sh
working-directory: VeriFastPrototype/nsl