summaryrefslogtreecommitdiff
path: root/bin/test_automata.py
diff options
context:
space:
mode:
authorDaniel Friesel <derf@finalrewind.org>2019-02-21 16:55:19 +0100
committerDaniel Friesel <derf@finalrewind.org>2019-02-21 16:55:19 +0100
commit6357bd51859bb29629d360309b2b4134b6ae766d (patch)
tree83ca4d3f8f1eb143e3cf4355b72e2bd875c3779c /bin/test_automata.py
parent53c0421d66ebe6644cdd4d36c0fb849f352c4641 (diff)
dfs: always return tuples
Diffstat (limited to 'bin/test_automata.py')
-rwxr-xr-xbin/test_automata.py8
1 files changed, 4 insertions, 4 deletions
diff --git a/bin/test_automata.py b/bin/test_automata.py
index aafc50b..c6f473b 100755
--- a/bin/test_automata.py
+++ b/bin/test_automata.py
@@ -88,7 +88,7 @@ example_json_1 = {
def dfs_tran_to_name(runs: list, with_args: bool) -> list:
if with_args:
return list(map(lambda run: list(map(lambda x: (x[0].name, x[1]), run)), runs))
- return list(map(lambda run: list(map(lambda transition: transition.name, run)), runs))
+ return list(map(lambda run: list(map(lambda x: (x[0].name), run)), runs))
class TestPTA(unittest.TestCase):
def test_dfs(self):
@@ -105,9 +105,9 @@ class TestPTA(unittest.TestCase):
pta.add_transition('UNINITIALIZED', 'IDLE', 'init')
pta.add_transition('IDLE', 'IDLE', 'set1')
pta.add_transition('IDLE', 'IDLE', 'set2')
- self.assertEqual(list(map(lambda x: list(map(lambda y: y.name, x)), pta.dfs(0))), [['init']])
- self.assertEqual(sorted(map(lambda x: list(map(lambda y: y.name, x)), pta.dfs(1))), [['init', 'set1'], ['init', 'set2']])
- self.assertEqual(sorted(map(lambda x: list(map(lambda y: y.name, x)), pta.dfs(2))), [['init', 'set1', 'set1'],
+ self.assertEqual(dfs_tran_to_name(pta.dfs(0), False), [['init']])
+ self.assertEqual(sorted(dfs_tran_to_name(pta.dfs(1), False)), [['init', 'set1'], ['init', 'set2']])
+ self.assertEqual(sorted(dfs_tran_to_name(pta.dfs(2), False)), [['init', 'set1', 'set1'],
['init', 'set1', 'set2'],
['init', 'set2', 'set1'],
['init', 'set2', 'set2']])