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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix logs schema #1244

Merged
merged 3 commits into from Jan 11, 2024
Merged

Fix logs schema #1244

merged 3 commits into from Jan 11, 2024

Commits on Jan 11, 2024

  1. Fix shrinking in prop_validateJSONSchema and enable verbos output 

    Using mapSize was preventing shrinking and produced very big counter
examples. Adding -v allows to debug non-matching 'oneOf' schemas better.
    @ch1bo @abailly-iohk
    ch1bo authored and abailly-iohk committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    26420d6 View commit details
    Browse the repository at this point in the history

  2. Fix several schemas in api.yaml and logs.yaml

    @ch1bo @abailly-iohk
    ch1bo authored and abailly-iohk committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    66c770e View commit details
    Browse the repository at this point in the history

  3. Make prop_validateJSONSchema run with a fixed maxSuccess=1 

    This also bumps up the number of generated values to only invoke the
external program once (if it passes). Shrinking will pick apart the big
list of values again.
    @ch1bo @abailly-iohk
    ch1bo authored and abailly-iohk committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    516f761 View commit details
    Browse the repository at this point in the history