Skip to content

Merge pull request #20 from orel-adivi/dependabot/pip/overrides-appro… #108

Merge pull request #20 from orel-adivi/dependabot/pip/overrides-appro…

Merge pull request #20 from orel-adivi/dependabot/pip/overrides-appro… #108

Workflow file for this run

#
# @file : build.yml
# @date : 16 October 2022
# @authors : Orel Adivi and Daniel Noor
#
# Sanity Checks
name: Sanity Check - Build
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
permissions:
contents: read
jobs:
build:
runs-on: ${{matrix.os}}
strategy:
fail-fast: false
matrix:
python-version: ["3.9", "3.10"]
os: [ubuntu-latest, windows-latest, macos-latest]
steps:
- uses: actions/checkout@v3
- name: Set up Python ${{matrix.python-version}}
uses: actions/setup-python@v3
with:
python-version: ${{matrix.python-version}}
- name: Install dependencies
run: |
python -m pip install --upgrade pip
python -m pip install -r requirements.txt
- name: Run sanity check
run: |
python Synthesizer.py -io ./utils/examples/SanityExamples.csv -s ./utils/grammars/SanityGrammar.txt
python Synthesizer.py -io ./utils/examples/SumExamples.csv -s ./utils/grammars/SumGrammar.txt -m DefaultMetric -t height -mh 2
python Synthesizer.py -io ./utils/examples/NoisyExamples.csv -s ./utils/grammars/NoisyGrammar.txt -m NormalMetric -mp 1.0 -t height -mh 2
python Synthesizer.py -io ./utils/examples/ListExamples.csv -s ./utils/grammars/ListGrammar.txt -m DefaultMetric -t height -mh 2
python Synthesizer.py -io ./utils/examples/StringExamples.csv -s ./utils/grammars/StringGrammar.txt -m LevenshteinMetric -mp False -t height -mh 2