Skip to content

the LBT parser should make sure guards are Boolean

Currently (hoaparse.yy) calls parse_lbt() (soon-to-be parse_prefix_ltl()) to read the LBTT guards, but it does not ensure those are Boolean expressions.