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

Feature/16 using definition #21

Merged
merged 5 commits into from
Dec 24, 2017
Merged

Feature/16 using definition #21

merged 5 commits into from
Dec 24, 2017

Commits on Dec 23, 2017

  1. Add using definition test cases 

    Positive test cases:
* Alias of different types (basic, fixed size, relation)
* Alias of another using defition
* Alias of an enumeration

Negative test cases:
* Alias of unknown type
* Alias of an enumerator
* Redefinition
    @emmanuel099
    emmanuel099 committed Dec 23, 2017
    Configuration menu
    Copy the full SHA
    bbb3fbd View commit details
    Browse the repository at this point in the history

  2. Test if "type alias" can be used where a universe is expected 

    E.g. forall t in TypeAlias do ...
    @emmanuel099
    emmanuel099 committed Dec 23, 2017
    Configuration menu
    Copy the full SHA
    c40a25c View commit details
    Browse the repository at this point in the history

  3. cleanups

    @emmanuel099
    emmanuel099 committed Dec 23, 2017
    Configuration menu
    Copy the full SHA
    aef80b1 View commit details
    Browse the repository at this point in the history

  4. Namespace aliasing does not work atm -> use relative enumerator instead

    @emmanuel099
    emmanuel099 committed Dec 23, 2017
    Configuration menu
    Copy the full SHA
    bc5a8c6 View commit details
    Browse the repository at this point in the history

Commits on Dec 24, 2017

  1. Using Definition: Add error code to enumerator alias test case

    @emmanuel099
    emmanuel099 committed Dec 24, 2017
    Configuration menu
    Copy the full SHA
    391b654 View commit details
    Browse the repository at this point in the history