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

Integrating assertion rewriting (2nd attempt) #626

Merged
merged 7 commits into from
Dec 4, 2023
Merged

Integrating assertion rewriting (2nd attempt) #626

merged 7 commits into from
Dec 4, 2023

Commits on Nov 23, 2023

  1. first attempt of integrating assertion generation inside the debugger

    @adri09070
    adri09070 committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    15844ab View commit details
    Browse the repository at this point in the history

  2. some fixes for generating assertions

    @adri09070
    adri09070 committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    3088dd8 View commit details
    Browse the repository at this point in the history

  3. adding some basic tests on StGenerateAndProceedCommand (availabity ac… 

    …cording to context, interface called on the debugger GUI...)
    @adri09070
    adri09070 committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    755f7bd View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2023

  1. trying to add a unit test for code generation but doesn't work for 2 … 

    …reasons:

- I don't manage to reset the source code of the modifier method in #tearDown
- I willingly raise a TestFailure in my test and I want to catch it but I don't manage to do so
    @adri09070
    adri09070 committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    9278df3 View commit details
    Browse the repository at this point in the history

  2. modifying tests because it doesn't look possible to catch TestFailure… 

    …s in tests
    @adri09070
    adri09070 committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    7ccde0e View commit details
    Browse the repository at this point in the history

  3. trying to fix #testGenerateAndProceed (but still not fixed thus we sk… 

    …ip it) + fixing StDebuggerTest>>#tearDown and StTestDebuggerProvider>>#methodThatGeneratesCode
    @adri09070
    adri09070 committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    4463a55 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. fixing assertion rewriting (small parenthesis error)

    @adri09070
    adri09070 committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    1eca8c5 View commit details
    Browse the repository at this point in the history