Merge pull request #98 from andreastedile/master

Remove unused parameter from WMethodEqOracle

Author: Edi Muškardin

aalpy/oracles/WMethodEqOracle.py

@@ -11,19 +11,17 @@ class WMethodEqOracle(Oracle):
     finite-state machines'.
     """
 
-    def __init__(self, alphabet: list, sul: SUL, max_number_of_states, shuffle_test_set=True):
+    def __init__(self, alphabet: list, sul: SUL, max_number_of_states):
         """
         Args:
 
             alphabet: input alphabet
             sul: system under learning
             max_number_of_states: maximum number of states in the automaton
-            shuffle_test_set: if True, test cases will be shuffled
         """
 
         super().__init__(alphabet, sul)
         self.m = max_number_of_states
-        self.shuffle = shuffle_test_set
         self.cache = set()
 
     def test_suite(self, cover, depth, char_set):

tests/test_wmethod_oracle.py

@@ -82,9 +82,7 @@ def test_wmethod_oracle(self):
         assert len(real.states) == 6
         assert len(hyp.states) == 2
         alphabet = real.get_input_alphabet()
-        oracle = WMethodEqOracle(
-            alphabet, AutomatonSUL(real), len(real.states) + 1, shuffle_test_set=False
-        )
+        oracle = WMethodEqOracle(alphabet, AutomatonSUL(real), len(real.states) + 1)
         cex = oracle.find_cex(hyp)
         assert cex is not None, "Expected a counterexample, but got None"
 
@@ -98,9 +96,7 @@ def test_wmethod_oracle_with_lstar(self):
         assert len(real.states) == 6
         assert len(hyp.states) == 2
         alphabet = real.get_input_alphabet()
-        oracle = WMethodEqOracle(
-            alphabet, AutomatonSUL(real), len(real.states) + 1, shuffle_test_set=False
-        )
+        oracle = WMethodEqOracle(alphabet, AutomatonSUL(real), len(real.states) + 1)
         lstar_hyp = run_Lstar(alphabet, AutomatonSUL(real), oracle, "moore")
         # print(lstar_hyp)
         # visualize_automaton(lstar_hyp)