In [1]:
from IPython.display import display
import spot
spot.setup()
In [2]:
%%file _example.aut
HOA: v1
States: 2
Start: 1
AP: 2 "a" "b"
acc-name: Buchi
Acceptance: 1 Inf(0)
--BODY--
State: 0 {0}
[t] 1
State: 1
[t] 1
--END--
HOA: v1
States: 2
Start: 1
AP: 2 "a" "b"
Acceptance: 1 Inf(0)
--BODY--
State: 0 {0}
[a] 3
State: 1
[1] 0
[0&!1] 1
--END--
In [3]:
for a in spot.automata('_example.aut'):
display(a)
In [4]:
spot.automaton('_example.aut', timeout=100)
Out[4]:
In [5]:
spot.automaton('non-existing-cmd |')
In [6]:
spot.automaton('sleep 3; cat _example.aut |', timeout=1)
In [7]:
for a in spot.automata("ltl2tgba 'a U b'|", 'ltl2tgba "syntax U U error"|'):
display(a)
Reading an empty file with spot.automaton()
is an error.
In [8]:
spot.automaton('true|')
In [9]:
!rm _example.aut