Autcross Segmentation Fault
Autcross ends with a segmentation fault during complementation on a certain automaton when using seminator as a tool. By itself seminator is able to complement the input without issues.
Used command:
autcross --timeout=600 -F 'automaton.hoa' -t 'seminator --complement %H > %O' --language-complemented
automaton.hoa content:
HOA: v1
States: 7
Start: 0
AP: 2 "p0" "p1"
acc-name: generalized-Buchi 5
Acceptance: 5 Inf(0)&Inf(1)&Inf(2)&Inf(3)&Inf(4)
properties: trans-labels explicit-labels trans-acc
--BODY--
State: 0
[0&1] 2 {1 3}
[!0&!1] 6 {1 3 4}
State: 1
[!0&!1] 4 {0 2 3 4}
[0&1] 5 {0 1}
[!0&!1] 1 {1}
[!0&1] 3 {1 3}
State: 2
[0&!1] 4 {1}
[0&1] 2
[!0&1] 1
State: 3
[!0&!1] 2 {1 3}
[0&!1] 4 {2 4}
State: 4
[!0&1] 4
[!0&1] 0 {1}
State: 5
[0&!1] 2
[!0&1] 4 {0}
[!0&!1] 3
State: 6
[!0&!1] 3
[!0&1] 5 {0 2 3}
--END--