diff --git a/tests/python/ipnbdoctest.py b/tests/python/ipnbdoctest.py index d5c405c238f7cb94b6c91ea276ef4cd6f6b910d9..eb4256cf23acb27aa88f1ff7860c3bb5044d3ab0 100755 --- a/tests/python/ipnbdoctest.py +++ b/tests/python/ipnbdoctest.py @@ -22,9 +22,9 @@ except ImportError: print('Python 3.x is needed to run this script.') sys.exit(77) -import imp +import importlib try: - imp.find_module('IPython') + importlib.util.find_spec('IPython') except: print('IPython is needed to run this script.') sys.exit(77) diff --git a/tests/python/ltlparse.py b/tests/python/ltlparse.py index 96b05c58cc39382200f07a8001c9aff41b50d5ce..50fc095c482d5bd17a197333d41d62c214597d55 100755 --- a/tests/python/ltlparse.py +++ b/tests/python/ltlparse.py @@ -25,7 +25,7 @@ import spot e = spot.default_environment.instance() -l = ['GFa', 'a U (((b)) xor c)', '!(FFx <=> Fx)', 'a \/ a \/ b \/ a \/ a']; +l = ['GFa', 'a U (((b)) xor c)', '!(FFx <=> Fx)', 'a \\/ a \\/ b \\/ a \\/ a'] for str1 in l: pf = spot.parse_infix_psl(str1, e, False)