update name of the oracle wrapper where user can provide test sequances

DES-Lab · Aug 31, 2023 · 317014c · 317014c
1 parent d2ac2ce
commit 317014c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/aalpy/oracles/ProvidedCexOracleWrapper.py → ...oracles/ProvidedSequancesOracleWrapper.py b/aalpy/oracles/ProvidedCexOracleWrapper.py → ...oracles/ProvidedSequancesOracleWrapper.py
@@ -1,7 +1,7 @@
 from aalpy.base import Oracle, SUL
 
 
-class ProvidedCexOracleWrapper(Oracle):
+class ProvidedSequencesOracleWrapper(Oracle):
     def __init__(self, alphabet: list, sul: SUL, oracle: Oracle, provided_counterexamples: list):
         """
         Oracle wrapper which first executes provided sequences (possible counterexamples) and then switches to another