diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2018-04-26 15:33:01 +0200 | 
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2018-04-26 15:33:01 +0200 | 
| commit | 17fbe0380bf08a771b0044be23102485182c9466 (patch) | |
| tree | fbc898c25c9cd77b3cd463df05c291a0edc5c9e4 /bin | |
| parent | 3992ec39ee64460e3555e9ba157932dffb74042b (diff) | |
Support compact PTA json with multiple origin states per transition
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/test_automata.py | 15 | 
1 files changed, 8 insertions, 7 deletions
| diff --git a/bin/test_automata.py b/bin/test_automata.py index e537076..3b64783 100755 --- a/bin/test_automata.py +++ b/bin/test_automata.py @@ -26,7 +26,7 @@ example_json_1 = {      'transitions' : [          {              'name' : 'init', -            'origin' : 'UNINITIALIZED', +            'origin' : ['UNINITIALIZED', 'IDLE'],              'destination' : 'IDLE',              'duration' : {                  'static' : 50000, @@ -110,20 +110,21 @@ class TestPTA(unittest.TestCase):          self.assertEqual(pta.states['UNINITIALIZED'].name, 'UNINITIALIZED')          self.assertEqual(pta.states['IDLE'].name, 'IDLE')          self.assertEqual(pta.states['TX'].name, 'TX') -        self.assertEqual(len(pta.transitions), 4) +        self.assertEqual(len(pta.transitions), 5)          self.assertEqual(pta.transitions[0].name, 'init') -        self.assertEqual(pta.transitions[1].name, 'setTxPower') -        self.assertEqual(pta.transitions[2].name, 'send') -        self.assertEqual(pta.transitions[3].name, 'txComplete') +        self.assertEqual(pta.transitions[1].name, 'init') +        self.assertEqual(pta.transitions[2].name, 'setTxPower') +        self.assertEqual(pta.transitions[3].name, 'send') +        self.assertEqual(pta.transitions[4].name, 'txComplete')      def test_from_json_dfs(self):          pta = PTA.from_json(example_json_1) -        self.assertEqual(sorted(pta.dfs(1)), [['init', 'send'], ['init', 'setTxPower']]) +        self.assertEqual(sorted(pta.dfs(1)), [['init', 'init'], ['init', 'send'], ['init', 'setTxPower']])      def test_from_json_function(self):          pta = PTA.from_json(example_json_1)          self.assertEqual(pta.states['TX'].get_energy(1000, {'datarate' : 10, 'txbytes' : 6, 'txpower' : 10 }), 1000 * (100 + 2 * 10)) -        self.assertEqual(pta.transitions[3].get_timeout({'datarate' : 10, 'txbytes' : 6, 'txpower' : 10 }), 500 + 16 * 6) +        self.assertEqual(pta.transitions[4].get_timeout({'datarate' : 10, 'txbytes' : 6, 'txpower' : 10 }), 500 + 16 * 6)      def test_simulation(self):          pta = PTA() | 
