Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add test-suite to run compiler and html generator #6

Open
wants to merge 15 commits into
base: master
Choose a base branch
from
Open

Add test-suite to run compiler and html generator #6

wants to merge 15 commits into from

Commits on Sep 22, 2022

  1. Add readme

    @anthonyyangdev
    anthonyyangdev committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    f9ba709 View commit details
    Browse the repository at this point in the history

  2. Add e2e test framework

    @anthonyyangdev
    anthonyyangdev committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    5d55f95 View commit details
    Browse the repository at this point in the history

  3. Clear global values after each compilation

    @anthonyyangdev
    anthonyyangdev committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    4162a55 View commit details
    Browse the repository at this point in the history

  4. Write tests with pytest

    @anthonyyangdev
    anthonyyangdev committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    6aaa1a4 View commit details
    Browse the repository at this point in the history

  5. update test-related configurations in repo

    @anthonyyangdev
    anthonyyangdev committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    9127f8c View commit details
    Browse the repository at this point in the history

  6. Add module/constants-parameterized and failing compilations

    @anthonyyangdev
    anthonyyangdev committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    dcbfaa5 View commit details
    Browse the repository at this point in the history

  7. Add test for common pipeline

    @anthonyyangdev
    anthonyyangdev committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    650db93 View commit details
    Browse the repository at this point in the history

  8. Use subprocess instead of handle_* 

    The model checker seems to have global variables, so any modifications
to them persist across each run of the model checker with each test.

To work around this, we directly call the harmony script instead.
    @anthonyyangdev
    anthonyyangdev committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    71a381f View commit details
    Browse the repository at this point in the history

  9. Update BBsema code from older to newer syntax

    @anthonyyangdev
    anthonyyangdev committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    3420cad View commit details
    Browse the repository at this point in the history

  10. Write tests using unittest

    @anthonyyangdev
    anthonyyangdev committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    21fb2f0 View commit details
    Browse the repository at this point in the history

  11. Add make test target

    @anthonyyangdev
    anthonyyangdev committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    1d723f2 View commit details
    Browse the repository at this point in the history

  12. Add coverage package to requirements

    @anthonyyangdev
    anthonyyangdev committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    f8281f6 View commit details
    Browse the repository at this point in the history

  13. Add Harmony AST tests

    @anthonyyangdev
    anthonyyangdev committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    1c77783 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2022

  1. Fix bugs in ast

    @anthonyyangdev
    anthonyyangdev committed Sep 24, 2022
    Configuration menu
    Copy the full SHA
    5425623 View commit details
    Browse the repository at this point in the history

  2. Fix missing output file and increase timeout tolerance

    @anthonyyangdev
    anthonyyangdev committed Sep 24, 2022
    Configuration menu
    Copy the full SHA
    5b360ce View commit details
    Browse the repository at this point in the history