Spot bug? - Spot

17 May 2019

Hi Alexandre,

I've just tried to use the development version at https://spot-dev.lrde.epita.fr/app/
and fed it the following formula (which is ugly but simple, just {SERE} |-> bool), and
it died of "500 Internal Server Error". 

{(((((((!"a")##1(!"b"))##0("c" <->
"d"))##0("e" xor "f"))##0(((((("g" &
"h") xor "i") <-> "j") | "k") &
"l") | "m"))##0(("n" & "o") | (!"n"
& "p")))##0("q" -> ("r" <->
"s")))##[0:1]"t"} |-> "u"

Regards,
Victor.