Skip to content

An input formula where the parser crashes

Reported by @fpl

% ltlfilt -f '{ b -> c[*1..]}'
ltlfilt: formula.cc:1249: void spot::fnode::setup_props(spot::op): Assertion `children[0]->is_sere_formula()' failed.
zsh: abort      bin/ltlfilt -f '{ b -> c[*1..]}'
Edited by Alexandre Duret-Lutz