diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-07-26 11:56:07 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-07-26 11:56:07 +0200 |
| commit | e554f748e7c049b25e59eff1429309eb6c9f8cc5 (patch) | |
| tree | 08becf899eb1cf2a2ef7c90bf51bd5092c6fd031 /test/test_pta.py | |
| parent | 4972286f8291b12b1a62393dc297a4a0362cbbc0 (diff) | |
support '$' as trace filter terminator
Diffstat (limited to 'test/test_pta.py')
| -rwxr-xr-x | test/test_pta.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/test_pta.py b/test/test_pta.py index 8ca41aa..dba67d7 100755 --- a/test/test_pta.py +++ b/test/test_pta.py @@ -162,6 +162,8 @@ class TestPTA(unittest.TestCase): pta.add_transition('IDLE', 'IDLE', 'set2') self.assertEqual(sorted(dfs_tran_to_name(pta.dfs(2, trace_filter=[['init', 'set1', 'set2'], ['init', 'set2', 'set1']]), False)), [['init', 'set1', 'set2'], ['init', 'set2', 'set1']]) + self.assertEqual(sorted(dfs_tran_to_name(pta.dfs(2, trace_filter=[['init', 'set1', '$'], ['init', 'set2', '$']]), False)), + [['init', 'set1'], ['init', 'set2']]) def test_dfs_accepting(self): pta = PTA(['IDLE', 'TX'], accepting_states = ['IDLE']) |