<jupyter_start><jupyter_text>Test syntax errors------------------<jupyter_code>%%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--
for a in spot.automata('_example.aut'):
    display(a)
spot.automaton('_example.aut', timeout=100)<jupyter_output><empty_output><jupyter_text>Error reading from pipe<jupyter_code>spot.automaton('non-existing-cmd |')
spot.automaton('sleep 3; cat _example.aut |', timeout=1)
for a in spot.automata("ltl2tgba 'a U b'|", 'ltl2tgba "syntax U U error"|'):
    display(a)<jupyter_output><empty_output><jupyter_text>Reading an empty file with `spot.automaton()` is an error.<jupyter_code>spot.automaton('true|')
!rm _example.aut<jupyter_output><empty_output>
{'fraction_non_alphanumeric': 0.1922222222222222, 'fraction_numerical': 0.03666666666666667, 'mean_word_length': 4.85064935064935, 'pattern_counts': {'":': 0, '<': 13, '<?xml version=': 0, '>': 13, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'chain_length': '3', 'dir': 'jupyter-structured-clean-dedup', 'id': '291872', 'license': 'MIT', 'n_tokens_mistral': 407, 'n_tokens_neox': 378, 'n_words': 94, 'path': 'spot/tests/python/_autparserr.ipynb', 'repo_name': 'mcc-petrinets/formulas', 'size': '900'}