Add CHECK_DEADLOCK to cli

simondorfman · Mar 3, 2023 · 30d08d8 · 30d08d8
1 parent 1cfd5b7
commit 30d08d8
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/docs/index.rst b/docs/index.rst
@@ -7,6 +7,10 @@
 
   Make a role so I can write ``:r:`thing``` for ```thing <thing>```
 
+  Use the .. sidebar directive!
+
+  Add an "external resources" section"
+
 .. note::
 
   Welcome to Learn TLA+! This is still a work in progress, please see :doc:`whatsnew` for updates and please raise any questions or concerns at the `github repo <https://github.com/hwayne/learntla-v2>`__. I'd love to hear your feedback!
@@ -87,3 +91,4 @@ I'm Hillel. I'm part of the TLA+ foundation and the author of the book `Practica
 .. http://carefully.understood.systems/blog-2017-04-19-bounded-log-queue.html
 
 .. https://stackoverflow.com/questions/3280712/how-to-allow-certain-threads-to-have-priority-in-locking-a-mutex-use-pthreads
+
diff --git a/docs/topics/cli.rst b/docs/topics/cli.rst
@@ -77,7 +77,7 @@ A basic config file might look like this:
     Const3 = {c1, c2, c3}
 
 
-Config files may also have ``CONSTRAINT``, ``ACTION-CONSTRAINT``, ``VIEW``, which work equivalently to their `Toolbox options <topic_toolbox>`. 
+Config files may also have ``CONSTRAINT``, ``ACTION-CONSTRAINT``, ``VIEW``, which work equivalently to their `Toolbox options <topic_toolbox>`.  You can also disable deadlock checking in the cfg with ``CHECK_DEADLOCK FALSE``.
 
 .. index: ALIAS
 .. _ALIAS: