.idea/

# Generated by rapid after finding counter-examples.
#
# When re-running tests locally during development,
# this enables faster failure finding.
# https://github.com/flyingmutant/rapid/commit/4db076b4aa4d41036416da11abd5bbfc228a324e
#
# During development, if a check fails, it makes sense
# to disable or refine the check, and add specific,
# minimal tests using the counter-examples found by rapid.
**/testdata/rapid/
