Skip to content
build nix flake

write_btor: Include $assert and $assume cells in -ywmap output #51

Sign in to view logs

write_btor: Include $assert and $assume cells in -ywmap output

write_btor: Include $assert and $assume cells in -ywmap output #51

Workflow file for this run

.github/workflows/nix-github-actions.yml at 884f40d
name: "build nix flake"
on:
pull_request:
push:
jobs:
tests:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: true
- uses: cachix/install-nix-action@v26
with:
install_url: https://releases.nixos.org/nix/nix-2.18.1/install
- run: nix build .?submodules=1