diff options
| author | Nathan Lasseter <nathan.je.lasseter@googlemail.com> | 2013-05-12 14:08:51 +0100 |
|---|---|---|
| committer | Nathan Lasseter <nathan.je.lasseter@googlemail.com> | 2013-05-12 14:08:51 +0100 |
| commit | 4b1a4a8e9dbe9ea46b596a4578f7e3d51b235a15 (patch) | |
| tree | 7eeb3637532f8e5c450d4d4972fcac1b8e82910a | |
| parent | e2e7e976cb0fe89e83498a59815b2bb1275e73e1 (diff) | |
Test file added to ensure lambda loops don't cause issues
| -rw-r--r-- | examples/looptest.vfsm | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/examples/looptest.vfsm b/examples/looptest.vfsm new file mode 100644 index 0000000..37673fd --- /dev/null +++ b/examples/looptest.vfsm @@ -0,0 +1,12 @@ +Comment: Testing the nondeterministic machine's capability to deal with lambda loops + +start: s0 +accept: s3 + +edges: + s0 0 s1 + s1 lambda: s2 + s2 epsilon: s2 + s1 0 s3 + s2 1 s3 +end: |