diff options
Diffstat (limited to 'doc/ReadingGuide.md')
| -rw-r--r-- | doc/ReadingGuide.md | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/ReadingGuide.md b/doc/ReadingGuide.md index 7c57870..aeff0b6 100644 --- a/doc/ReadingGuide.md +++ b/doc/ReadingGuide.md @@ -251,10 +251,7 @@ Vector (`V`) and cryptography (`Zk*`) extensions. ### Other modules -The `termination` module specifies -[functions](../model/termination/termination.sail) that are used to prove -loop termination for theorem prover backends of Sail. The -`unit_tests` module collects Sail unit tests for the specification. +The `unit_tests` module collects Sail unit tests for the specification. The `main` module provides a [`main()`](../model/main/main.sail) function that is used in other Sail backends. |