diff --git a/setup.py b/setup.py index 9dd791c93c3..59254a007e2 100644 --- a/setup.py +++ b/setup.py @@ -7,7 +7,7 @@ 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', @@ -15,15 +15,15 @@ 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='edi.muskardin@silicon-austria.com', 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/* \ No newline at end of file +# twine upload --repository testpypi dist/* diff --git a/tests/test_deterministic.py b/tests/test_deterministic.py index 4ace6d01b94..2b44b2895a0 100644 --- 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: