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

STM: Catch exceptions in next_state for nicer UX #400

Merged
merged 10 commits into from
Oct 11, 2023
Merged

STM: Catch exceptions in next_state for nicer UX #400

merged 10 commits into from
Oct 11, 2023

Commits on Oct 9, 2023

  1. Update STM generators to not raise exceptions from next_state

    @jmid
    jmid committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    e122322 View commit details
    Browse the repository at this point in the history

  2. Document generator behaviour on next_state exceptions

    @jmid
    jmid committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    f83ce97 View commit details
    Browse the repository at this point in the history

  3. Document derived generator behaviour on next_state exceptions

    @jmid
    jmid committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    7c11506 View commit details
    Browse the repository at this point in the history

  4. Adjust STM.cmds_ok and STM.all_interleavings_ok to catch next_state e… 

    …xceptions
    @jmid
    jmid committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    45c4e03 View commit details
    Browse the repository at this point in the history

  5. Document cmds_ok and all_interleavings_ok next_state exception behaviour

    @jmid
    jmid committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    f51b5cf View commit details
    Browse the repository at this point in the history

  6. Add test case for next_state exception behaviour

    @jmid
    jmid committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    07bcdf7 View commit details
    Browse the repository at this point in the history

  7. Document that next_state is run more than once

    @jmid
    jmid committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    c549513 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2023

  1. Delay next_state in check_disagree in case of exceptions

    @jmid
    jmid committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    62e747a View commit details
    Browse the repository at this point in the history

  2. Delay next_state in check_obs in case of exceptions

    @jmid
    jmid committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    ee11af5 View commit details
    Browse the repository at this point in the history

  3. Add a CHANGES entry

    @jmid
    jmid committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    17514a4 View commit details
    Browse the repository at this point in the history