Skip to content

Verify fmtAS (#378) #1129

Verify fmtAS (#378)

Verify fmtAS (#378) #1129

Workflow file for this run

# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
#
# Copyright (c) 2022 ETH Zurich.
name: Verify bitwise operations in Dafny
on:
push:
branches:
- master
pull_request: # run this workflow on every pull_request
jobs:
verify:
runs-on: ubuntu-latest
steps:
- name: Checkout the current repository
uses: actions/checkout@v3
- name: "Install Dafny"
uses: dafny-lang/setup-dafny-action@v1
- name: "Verify bitwise operations."
run: |
dafny verification/utils/bitwise/proofs.dfy