diff --git a/tests/python/ipnbdoctest.py b/tests/python/ipnbdoctest.py index d5c405c23..eb4256cf2 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 828ebda41..dd2368d64 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)