From 590b0da96602446225eb0f942e5fa879908d9587 Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <github.com@lemmster.de>
Date: Tue, 16 Jul 2024 11:32:11 -0700
Subject: [PATCH] Enable TLC's Java Assertions

Related to https://github.com/tlaplus/tlaplus/issues/971
---
 .github/scripts/tla_utils.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/scripts/tla_utils.py b/.github/scripts/tla_utils.py
index d76fabd2..9d22bc95 100644
--- a/.github/scripts/tla_utils.py
+++ b/.github/scripts/tla_utils.py
@@ -129,6 +129,7 @@ def check_model(
         else:
             tlc = subprocess.run([
                 'java',
+                '-enableassertions',
                 '-Dtlc2.TLC.ide=Github',
                 '-Dutil.ExecutionStatisticsCollector.id=abcdef60f238424fa70d124d0c77ffff',
                 '-XX:+UseParallelGC',