From 9e9edcd574808429467bcf35efa39a0a32fb60f0 Mon Sep 17 00:00:00 2001 From: Edi Muskardin Date: Wed, 16 Oct 2024 10:08:01 +0200 Subject: [PATCH] fix BreadthFirstExplorationEqOracle.py test case generation fix sevpa list type --- aalpy/automata/Sevpa.py | 3 ++- aalpy/oracles/BreadthFirstExplorationEqOracle.py | 3 +-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/aalpy/automata/Sevpa.py b/aalpy/automata/Sevpa.py index 113ef9b6..f9b080d0 100644 --- 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 index 378938d6..dfa45378 100644 --- 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)