fix BreadthFirstExplorationEqOracle.py test case generation

fix sevpa list type
DES-Lab · Oct 16, 2024 · 9e9edcd · 9e9edcd
1 parent a8db057
commit 9e9edcd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/aalpy/automata/Sevpa.py b/aalpy/automata/Sevpa.py
@@ -52,7 +52,8 @@ class SevpaState(AutomatonState):
 
     def __init__(self, state_id, is_accepting=False):
         super().__init__(state_id)
-        self.transitions = defaultdict(List[SevpaTransition])
+        # list of SevpaTransition
+        self.transitions = defaultdict(list)
         self.is_accepting = is_accepting
 
 

diff --git a/aalpy/oracles/BreadthFirstExplorationEqOracle.py b/aalpy/oracles/BreadthFirstExplorationEqOracle.py
@@ -28,8 +28,7 @@ def __init__(self, alphabet, sul: SUL, depth=5):
 
         # generate all test-cases
         for seq in product(self.alphabet, repeat=self.depth):
-            input_seq = tuple([i for sub in seq for i in sub])
-            self.queue.append(input_seq)
+            self.queue.append(seq)
 
         shuffle(self.queue)