update version

DES-Lab · Dec 21, 2023 · c23f400 · c23f400
1 parent b1c527d
commit c23f400
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 8 deletions.
diff --git a/setup.py b/setup.py
@@ -7,23 +7,23 @@
 
 setup(
     name='aalpy',
-    version='1.3.3',
+    version='1.4.0',
     packages=['aalpy', 'aalpy.base', 'aalpy.SULs', 'aalpy.utils', 'aalpy.oracles', 'aalpy.automata',
               'aalpy.learning_algs', 'aalpy.learning_algs.stochastic', 'aalpy.learning_algs.deterministic',
               'aalpy.learning_algs.non_deterministic',
               'aalpy.learning_algs.stochastic_passive', 'aalpy.learning_algs.deterministic_passive'],
     url='https://github.com/DES-Lab/AALpy',
     license='MIT',
     license_files=('LICENSE.txt',),
-    long_description = long_description,
+    long_description=long_description,
     long_description_content_type='text/markdown',
     author='Edi Muskardin',
     author_email='[email protected]',
     description='An active automata learning library',
     classifiers=[
-            "Programming Language :: Python :: 3",
-            "License :: OSI Approved :: MIT License",
-            "Operating System :: OS Independent"
+        "Programming Language :: Python :: 3",
+        "License :: OSI Approved :: MIT License",
+        "Operating System :: OS Independent"
     ],
     install_requires=['pydot'],
     python_requires=">=3.6",
@@ -34,4 +34,4 @@
 # twine upload dist/*
 
 # for test pypi
-# twine upload --repository testpypi dist/*
+# twine upload --repository testpypi dist/*
diff --git a/tests/test_deterministic.py b/tests/test_deterministic.py
@@ -166,10 +166,9 @@ def test_all_configuration_combinations(self):
                             bf_exploration_eq_oracle = BreadthFirstExplorationEqOracle(alphabet, sul, 4)
                             random_word_eq_oracle = RandomWordEqOracle(alphabet, sul)
                             cache_based_eq_oracle = CacheBasedEqOracle(alphabet, sul)
-                            kWayStateCoverageEqOracle = KWayStateCoverageEqOracle(alphabet, sul)
 
                             oracles = [random_walk_eq_oracle, random_word_eq_oracle, random_W_method_eq_oracle,
-                                       kWayStateCoverageEqOracle, cache_based_eq_oracle, bf_exploration_eq_oracle,
+                                       cache_based_eq_oracle, bf_exploration_eq_oracle,
                                        tran_cov_eq_oracle, w_method_eq_oracle, state_origin_eq_oracle]
 
                             if not cache: