Skip to content

Commit 46b4c1c

Browse files
committed
add tests for -e option with FSMs
add samples/Socket/test_e_option.py and test_e_viewer.py both test cases in each script show the same output, -e has no effect, wrong also tweak notes/bugs.txt to better explain this problem
1 parent 39849e4 commit 46b4c1c

3 files changed

Lines changed: 26 additions & 1 deletion

File tree

notes/bugs.txt

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,8 @@ PyModel bugs and limitations
44
9 Sep 2012
55

66
In Socket/len_buffers_two.py, a pymodel config file, state_filter has
7-
no effect. Workaround: StateFilter has the intended effect.
7+
(lowercase with underscore) no effect. Workaround: StateFilter (mixed
8+
case) has the intended effect.
89

910

1011
16 Sep 2012

samples/Socket/test_e_option.py

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
"""
2+
Test -e option in FSMs, using pmt
3+
"""
4+
5+
cases = [
6+
('No -e options: pmt -n 10 NoBlockScenario',
7+
'pmt -n 10 NoBlockScenario'),
8+
9+
('Now same command with -e send_close -e recv_close',
10+
'pmt -e send_close -e recv_close -n 10 NoBlockScenario'),
11+
]
12+

samples/Socket/test_e_viewer.py

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
"""
2+
Test -e option in FSMs, using pmv
3+
"""
4+
5+
cases = [
6+
('No -e option',
7+
'pmv NoBlockScenario'),
8+
9+
('Now same command with -e send_close -e recv_close',
10+
'pmv -e send_close -e recv_close NoBlockScenario -o NoBlockScenario_e'),
11+
]
12+

0 commit comments

Comments
 (0)