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.

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

Cabal flag to turn on assertions. #1672

Merged
merged 1 commit into from
Jul 16, 2020
Merged

Cabal flag to turn on assertions. #1672

merged 1 commit into from
Jul 16, 2020

Conversation

nc6
Copy link
Contributor

@nc6 nc6 commented Jul 16, 2020

By default, STS assertions are turned on in tests and off in production.
One can enable them manually, but this also allows this default to be
controlled by a cabal flag.

Setting the sts_assert flag on the small-steps package will turn on
assertions for production code.

By default, STS assertions are turned on in tests and off in production.
One can enable them manually, but this also allows this default to be
controlled by a cabal flag.

Setting the `sts_assert` flag on the small-steps package will turn on
assertions for production code.
@nc6 nc6 requested review from uroboros and TimSheard July 16, 2020 09:46
Copy link
Contributor

@uroboros uroboros left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this will be handy!

@nc6 nc6 merged commit 550a70b into master Jul 16, 2020
@nc6 nc6 deleted the nc/flag-assert branch July 16, 2020 14:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants