commit | f8bf31e8fb03c892c0136aa2f074cff3f71c0888 | [log] [tgz] |
---|---|---|
author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Fri May 21 09:36:47 2021 +0100 |
committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Fri May 21 09:36:47 2021 +0100 |
tree | 7471bb14af16b789685486992ed42130a3b83a13 | |
parent | a1861ec886e0853690ac98f1cbb39d7cab9d565c [diff] |
Minor edits in state machine example Signed-off-by: Dimitris Kolovos <dkolovos@cs.york.ac.uk>