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

_postproc_translate_options: fix syntax error

Browse source 
* python/spot/__init__.py: Here.
* tests/python/except.py: Add test.
* NEWS: Mention the issue.
This commit is contained in:
Alexandre Duret-Lutz 2020-02-10 11:37:58 +01:00
parent 71f1f2fb96
commit 09bb61db33
3 changed files with 16 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

11
tests/python/except.py
View file

@ -1,5 +1,5 @@
# -*- mode: python; coding: utf-8 -*-
# Copyright (C) 2018, 2019 Laboratoire de Recherche et Développement de
# Copyright (C) 2018-2020 Laboratoire de Recherche et Développement de
# l'Epita (LRDE).
#
# This file is part of Spot, a model checking library.
@ -179,3 +179,12 @@ except RuntimeError as e:
assert "requires a semi-deterministic input" in str(e)
else:
report_missing_exception()
try:
spot.translate('F(G(a | !a) & ((b <-> c) W d))', 'det', 'any')
except ValueError as e:
s = str(e)
assert 'det' in s
assert 'any' in s
else:
report_missing_exception()