alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

require python 3.6

Browse source 
* HACKING, NEWS, README, doc/org/install.org: Update.
* m4/pypath.m4, python/spot/__init__.py: Adjust requirements.
* python/spot/ltsmin.i: Don't use capture_output, this is a 3.7
option.
This commit is contained in:
Alexandre Duret-Lutz 2024-03-26 16:21:44 +01:00
parent 88f8af22c3
commit df44f7a5c2
7 changed files with 17 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

8
python/spot/__init__.py
View file

@ -19,8 +19,8 @@
import sys
if sys.hexversion < 0x03030000:
sys.exit("This module requires Python 3.3 or newer")
if sys.hexversion < 0x03060000:
sys.exit("This module requires Python 3.6 or newer")
import subprocess
import os
@ -710,7 +710,7 @@ def automata(*sources, timeout=None, ignore_abort=True,
# returned by spot.automata() is destroyed. Otherwise, _supress()
# is just a dummy context manager that does nothing (Python 3.7
# introduces nullcontext() for this purpose, but at the time of
# writing we support Python 3.4).
# writing we still have to support Python 3.6).
mgr = proc if proc else _supress()
with mgr:
while a:
@ -730,7 +730,7 @@ def automata(*sources, timeout=None, ignore_abort=True,
# an exception.
if ret and sys.exc_info()[0] is None:
raise subprocess.CalledProcessError(ret, filename[:-1])
# deleting o explicitly now prevents Python 3.5 from
# deleting o explicitly used to prevent Python 3.5 from
# reporting the following error: "<built-in function
# delete_automaton_parser_options> returned a result with
# an error set". It's not clear to me if the bug is in Python

3
python/spot/ltsmin.i
View file

@ -173,7 +173,8 @@ try:
try:
p = subprocess.run(['divine', 'compile',
'--ltsmin', t.name],
capture_output=True,
stdout=subprocess.PIPE,
stderr=subprocess.PIPE,
universal_newlines=True)
if p.stdout: print(p.stdout)
if p.stderr: print(p.stderr, file=sys.stderr)