Skip to content

missing protection against empty runs

Python 3.6.4+ (default, Feb 12 2018, 08:25:03)
Type 'copyright', 'credits' or 'license' for more information
IPython 6.2.1 -- An enhanced Interactive Python. Type '?' for help.

In [1]: import spot

In [2]: a = spot.translate('1');

In [3]: r = spot.twa_run(a)

In [4]: r
Out[4]: 
Prefix:
Cycle:

In [5]: r.as_twa()
zsh: segmentation fault  ipython