Skip to content


Subversion checkout URL

You can clone with
Download ZIP
Browse files

Merge pull request #47 from puzza007/master

Spelling in statem docs
  • Loading branch information...
2 parents 80c2c73 + 7fabfaa commit 8f09ee5252f595f32f9a8fd45b8e530b1a3fdfeb @kostis kostis committed
Showing with 1 addition and 1 deletion.
  1. +1 −1  src/proper_statem.erl
2  src/proper_statem.erl
@@ -182,7 +182,7 @@
%%% Then, we parallelize a random suffix (up to 12 commands) of the initial
%%% sequence by splitting it into 2 subsequences that will be executed
%%% concurrently. Limitations arise from the fact that each subsequence should
-%%% be a <i>valid</i> command sequnece (i.e. all commands should satisfy
+%%% be a <i>valid</i> command sequence (i.e. all commands should satisfy
%%% preconditions and use only symbolic variables bound to the results of
%%% preceding calls in the same sequence). Furthermore, we apply an additional
%%% check: we have to ensure that preconditions are satisfied in all possible

0 comments on commit 8f09ee5

Please sign in to comment.
Something went wrong with that request. Please try again.