summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Progress
diff options
context:
space:
mode:
authorSon Ho2023-11-27 13:48:46 +0100
committerSon Ho2023-11-27 13:48:46 +0100
commitfdb8555cf6bc21ea230141373920196b078bdd28 (patch)
tree948e676c2f85844cc26ea8af00f5c5e836106718 /backends/lean/Base/Progress
parentbef2bd34fcb0817f1b7d16b95122bcc3c6f05c72 (diff)
Do not activate the sanity (invariant) checks by default
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions