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

Added some BCUsagePatternTests & edited existing BCHeadlessTests to verify OR-ing predicates #214

Merged
merged 6 commits into from
Feb 18, 2020
Merged

Added some BCUsagePatternTests & edited existing BCHeadlessTests to verify OR-ing predicates #214

merged 6 commits into from
Feb 18, 2020

Commits on Feb 3, 2020

  1. Added tests for ORing 2 & 3 predicates

    @rakshitkr
    rakshitkr committed Feb 3, 2020
    Configuration menu
    Copy the full SHA
    b4a5456 View commit details
    Browse the repository at this point in the history

  2. Added another test for RSAEngine

    @rakshitkr
    rakshitkr committed Feb 3, 2020
    Configuration menu
    Copy the full SHA
    b9f113b View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2020

  1. Changed the location of hasEnsuredPredicate calls 

    Moved the location of hasEnsuredPredicate calls next to their ensured objects. This is done because next immediate method call from ORDER section performed on the object is negating its ensured predicates in UsagePatternTestingFramework
    @rakshitkr
    rakshitkr committed Feb 7, 2020
    Configuration menu
    Copy the full SHA
    c9be4e0 View commit details
    Browse the repository at this point in the history

  2. Updated the error counts for rules-with-OR-predicates 

    This commit removes some of the error counts related to CryptSL/issue-11
    @rakshitkr
    rakshitkr committed Feb 7, 2020
    Configuration menu
    Copy the full SHA
    cdd9336 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2020

  1. Added false negatives as per issue #216

    @rakshitkr
    rakshitkr committed Feb 8, 2020
    Configuration menu
    Copy the full SHA
    16fc5b6 View commit details
    Browse the repository at this point in the history

  2. Added more false negatives as per issue #216 

    This commit updates the error counts of testBCEllipticCurveExamples headless tests to handle false negatives related to CryptSL/issue-11
    @rakshitkr
    rakshitkr committed Feb 8, 2020
    Configuration menu
    Copy the full SHA
    50e0684 View commit details
    Browse the repository at this point in the history