alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* doc/org/concepts.org: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2020-01-27 22:52:32 +01:00
parent fd92d20fd3
commit abab62dd3e
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/org/concepts.org
View file

@ -683,7 +683,7 @@ newer Spin releases (starting with Spin 6.2.4) use the second syntax
as they help Spin to produce more precise counterexamples. as they help Spin to produce more precise counterexamples.
Spot can read and write never claims in both syntaxes, but it cannot Spot can read and write never claims in both syntaxes, but it cannot
parse never claim that use other features (such as variables) of the parse never claims that use other features (such as variables) of the
Promela language. Promela language.
* LBTT's format * LBTT's format