remove dangling oracle

DES-Lab · Jan 20, 2025 · 1013e22 · 1013e22
1 parent b55152a
commit 1013e22
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 124 deletions.
diff --git a/aalpy/oracles/WMethodEqOracle.py b/aalpy/oracles/WMethodEqOracle.py
@@ -4,6 +4,7 @@
 from aalpy.base.SUL import SUL
 from itertools import product
 
+
 class WMethodEqOracle(Oracle):
     """
     Equivalence oracle based on characterization set/ W-set. From 'Tsun S. Chow.   Testing software design modeled by
@@ -45,18 +46,17 @@ def test_suite(self, cover, depth, char_set):
                 for (s, c) in product(cover, char_set):
                     yield s + m + c
 
-
     def find_cex(self, hypothesis):
 
         if not hypothesis.characterization_set:
             hypothesis.characterization_set = hypothesis.compute_characterization_set()
 
         # covers every transition of the specification at least once.
         transition_cover = [
-                state.prefix + (letter,)
-                for state in hypothesis.states
-                for letter in self.alphabet
-                ]
+            state.prefix + (letter,)
+            for state in hypothesis.states
+            for letter in self.alphabet
+        ]
 
         depth = self.m + 1 - len(hypothesis.states)
         for seq in self.test_suite(transition_cover, depth, hypothesis.characterization_set):

diff --git a/aalpy/oracles/WpMethodOther.py b/aalpy/oracles/WpMethodOther.py