Skip to content

Make literal picker break activity ties by picking smaller variable #32

Make literal picker break activity ties by picking smaller variable

Make literal picker break activity ties by picking smaller variable #32

Workflow file for this run

name: Rust
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
env:
CARGO_TERM_COLOR: always
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Build
run: cargo build --verbose
- name: Run tests
run: cargo test --verbose
- name: Run sudoku tests
run: |
./sudoku.sh benchs/sudoku/sudoku.txt > .sudoku-fast.res
diff .sudoku-fast.res .sudoku-fast.ref # fail if not the same