New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Don't use JVM assertions by default in scripts #157

Merged

ahelwer merged 1 commit into tlaplus:master from ahelwer:disable-assertions

Feb 17, 2025

Collaborator

ahelwer commented Feb 17, 2025

Expose --enable_assertions flag


          Don't use JVM assertions by default in scripts

da6dd16

Expose --enable_assertions flag

Signed-off-by: Andrew Helwer <ahelwer@pm.me>

ahelwer merged commit 3dfe008 into tlaplus:master

7 checks passed

ahelwer deleted the disable-assertions branch

February 17, 2025 21:30

ahelwer mentioned this pull request

Finitizing monotonic systems Take2 #155

Open

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet