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

Fix sub-derivations failure reporting in test-judgment-holds #205

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

Fix sub-derivations failure reporting in test-judgment-holds #205

wants to merge 6 commits into from

Commits on Oct 5, 2019

  1. Added tests that expose problem in test-judgment-holds 

    When a test-judgment-holds test fails for a modeless judgment, the error message
will incorrectly blame any sub-derivation that is not from the same judgment as
the top-level judgment.
    @wilbowma
    wilbowma committed Oct 5, 2019
    Configuration menu
    Copy the full SHA
    dec519a View commit details
    Browse the repository at this point in the history

  2. Only report proper sub-derivations from test-judgment-holds

    @wilbowma
    wilbowma committed Oct 5, 2019
    Configuration menu
    Copy the full SHA
    c3bfe1d View commit details
    Browse the repository at this point in the history

  3. Support reporting sub-derivation failures from any specified judgment

    @wilbowma
    wilbowma committed Oct 5, 2019
    Configuration menu
    Copy the full SHA
    2807a59 View commit details
    Browse the repository at this point in the history

  4. Documentation for test-judgment-holds with sub-derivation reporting

    @wilbowma
    wilbowma committed Oct 5, 2019
    Configuration menu
    Copy the full SHA
    905b8b7 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2019

  1. Collect failing sub-derviations from call-modeless-judgment-form and … 

    …friends
    @wilbowma
    wilbowma committed Oct 10, 2019
    2 Configuration menu
    Copy the full SHA
    0dcbe78 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2019

  1. Balls of hacks that are somewhat closer to doing the right thing

    @wilbowma
    wilbowma committed Oct 11, 2019
    Configuration menu
    Copy the full SHA
    178c1a2 View commit details
    Browse the repository at this point in the history